LeanDojo
Machine Learning for Theorem Proving in Lean
- 367 followers
- United States of America
- https://leandojo.org/
Pinned Loading
Repositories
Showing 10 of 11 repositories
- LeanDojo-v2 Public
LeanDojo-v2 is an end-to-end framework for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.
lean-dojo/LeanDojo-v2’s past year of commit activity - LeanAgent Public
LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expanding mathematical knowledge without forgetting previously learned knowledge.
lean-dojo/LeanAgent’s past year of commit activity - LeanVision Public
lean-dojo/LeanVision’s past year of commit activity
Top languages
Loading…