5 repos
lean-dojo/LeanDojo-v2
LeanDojo-v2 is an end-to-end framework for training, evaluating, and deploying AI-assisted theorem…
137
19 commits
graviterra/ensemble-prover
Autonomous theorem prover combining language-model proof search with Lean 4 verification.
3
4 commits
henryrobbins/open-atp
OpenATP is an open-source Python package providing a common interface for Automated Theorem Proving…
30
332 commits
monkeytim19/proof-repair-LLM-Lean4
No description
2
87 commits
SorryDB/SorryDB
SorryDB indexes sorries in public lean repositories
55
1,230 commits
