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
- π LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]β74Updated last year
- β70Updated last year
- The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"β109Updated 5 months ago
- β33Updated 8 months ago
- β16Updated 2 months ago
- β66Updated 2 months ago
- NaturalProver: Grounded Mathematical Proof Generation with Language Modelsβ38Updated 2 years ago
- The official repository for the paper Multilingual Mathematical Autoformalizationβ37Updated last year
- [COLM 2024] A Survey on Deep Learning for Theorem Provingβ204Updated 3 months ago
- β35Updated 10 months ago
- β102Updated 3 weeks ago
- The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)β34Updated last year
- β84Updated 7 months ago
- AI for Mathematics (AI4Math) paper listβ176Updated 11 months ago
- Easy-to-Hard Generalization: Scalable Alignment Beyond Human Supervisionβ123Updated last year
- β15Updated 10 months ago
- β207Updated 5 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
- MACM: Utilizing a Multi-Agent System for Condition Mining in Solving Complex Mathematical Problemsβ88Updated last year
- β31Updated last month
- β65Updated last week
- Code for the paper <SelfCheck: Using LLMs to Zero-Shot Check Their Own Step-by-Step Reasoning>β49Updated 2 years ago
- Neural theorem proving evaluation via the Lean REPLβ23Updated 2 months ago
- Llemma formal2formal (tactic prediction) theorem proving experimentsβ20Updated last year
- β16Updated 4 months ago
- Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"β26Updated 4 months ago
- β42Updated last year