wellecks / ntptutorialLinks
Tutorial on neural theorem proving
☆174Updated last year
Alternatives and similar repositories for ntptutorial
Users that are interested in ntptutorial are comparing it to the libraries listed below
Sorting:
- llmstep: [L]LM proofstep suggestions in Lean 4.☆139Updated last year
- Retrieval-Augmented Theorem Provers for Lean☆291Updated 6 months ago
- Benchmark for undergraduate-level formal mathematics☆108Updated 10 months ago
- ☆191Updated 2 years ago
- LLMs + Lean, on your laptop or in the cloud