lean-dojo/LeanDojo-v2
LeanDojo-v2 is an end-to-end framework for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.
Stars
48
Forks
10
Language
Python
License
Apache-2.0
Category
Last pushed
Mar 10, 2026
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ml-frameworks/lean-dojo/LeanDojo-v2"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Related frameworks
metaopt/torchopt
TorchOpt is an efficient library for differentiable optimization built upon PyTorch.
SimplexLab/TorchJD
Library for Jacobian descent with PyTorch. It enables the optimization of neural networks with...
clovaai/AdamP
AdamP: Slowing Down the Slowdown for Momentum Optimizers on Scale-invariant Weights (ICLR 2021)
nschaetti/EchoTorch
A Python toolkit for Reservoir Computing and Echo State Network experimentation based on...
gpauloski/kfac-pytorch
Distributed K-FAC preconditioner for PyTorch