Validates the finite congruence graph criterion from OpenAI's math corpus using exhaustive small-case experiments, independent checkers, and Lean proof checks.
Python Updated 25 days ago 1 commits
pulse-dev|Mirror: Maverick0351a/finite-congruence-checks (⭐0)
25 days agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Validates the finite congruence graph criterion from OpenAI's math corpus using exhaustive small-case experiments, independent checkers, and Lean proof checks.
Readme