wellecks / ntptutorialLinks
Tutorial on neural theorem proving
☆177Updated 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.☆144Updated last year
- ☆192Updated 2 years ago
- Retrieval-Augmented Theorem Provers for Lean☆294Updated 8 months ago
- LLMs + Lean, on your laptop or in the cloud☆179Updated 2 months ago
- Benchmark for undergraduate-level formal mathematics