Eleanor-H / MUSTARDLinks
Code & data for ICLR 2024 spotlight paper: π―MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
β41Updated last year
Alternatives and similar repositories for MUSTARD
Users that are interested in MUSTARD are comparing it to the libraries listed below
Sorting:
- β25Updated last year
- Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Librariesβ67Updated last year
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"β16Updated last year
- β68Updated last year
- The official repository for the paper Multilingual Mathematical Autoformalizationβ37Updated last year
- β33Updated 7 months ago
- π LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]β72Updated last year
- β16Updated last month
- The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"β107Updated 5 months ago
- NaturalProver: Grounded Mathematical Proof Generation with Language Modelsβ38Updated 2 years ago
- β35Updated 10 months ago
- β63Updated last month
- AI for Mathematics (AI4Math) paper listβ174Updated 11 months ago
- [COLM 2024] A Survey on Deep Learning for Theorem Provingβ200Updated 3 months ago
- β84Updated 7 months ago
- β92Updated this week
- The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)β34Updated last year
- β63Updated last week
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdfβ22Updated last year
- Llemma formal2formal (tactic prediction) theorem proving experimentsβ20Updated last year
- MACM: Utilizing a Multi-Agent System for Condition Mining in Solving Complex Mathematical Problemsβ88Updated last year
- Easy-to-Hard Generalization: Scalable Alignment Beyond Human Supervisionβ123Updated 11 months ago
- Retrieval-Augmented Theorem Provers for Leanβ291Updated 7 months ago
- β119Updated last year
- Neural theorem proving evaluation via the Lean REPLβ23Updated last month
- β15Updated 10 months ago
- This is the official repository for all the code of TheoremLlamaβ44Updated 3 weeks ago
- β16Updated 3 months ago
- Mix of Minimal Optimal Sets (MMOS) of dataset has two advantages for two aspects, higher performance and lower construction costs on mathβ¦β73Updated last year
- The official code release for Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalizationβ31Updated 5 months ago