https://github.com/lean-dojo/leanprogress

Guiding Search for Neural Theorem Proving via Proof Progress Prediction

formal-mathematics lean lean4 llm machine-learning progress-prediction proof-search rl theorem-proving

Last synced: 16 Jan 2026