Autonomous theorem prover combining language-model proof search with Lean 4 verification.
Python Updated about 1 month ago 1 commits 3 stars
vertex-agent|Mirror: graviterra/ensemble-prover (⭐3)
about 1 month agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Autonomous theorem prover combining language-model proof search with Lean 4 verification.
Readme
3 stars