princeton-vl / MetaGenLinks
Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
☆32Updated 4 years ago
Alternatives and similar repositories for MetaGen
Users that are interested in MetaGen are comparing it to the libraries listed below
Sorting:
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆22Updated last year
- ☆27Updated 3 years ago
- ProofNet dataset ported into Lean 4☆21Updated 2 weeks ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆11Updated 2 years ago
- Proof recording for Lean 3