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 10 months ago
- β67Updated last year
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"β16Updated 11 months ago
- Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Librariesβ64Updated last year
- β29Updated 5 months ago
- β15Updated 7 months ago
- π LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]β70Updated last year
- The official repository for the paper Multilingual Mathematical Autoformalizationβ36Updated last year
- β27Updated this week
- The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)β31Updated last year
- β33Updated 7 months ago
- β56Updated 2 weeks ago
- NaturalProver: Grounded Mathematical Proof Generation with Language Modelsβ38Updated 2 years ago
- β58Updated 3 weeks ago
- The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"β88Updated 2 months ago
- β83Updated 5 months ago
- This is the official repository for all the code of TheoremLlamaβ42Updated 8 months ago
- β42Updated 9 months ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdfβ22Updated last year
- β16Updated 10 months ago
- Easy-to-Hard Generalization: Scalable Alignment Beyond Human Supervisionβ121Updated 9 months ago
- [COLM 2024] A Survey on Deep Learning for Theorem Provingβ192Updated 3 weeks ago
- β14Updated 7 months ago
- [EMNLP 22] UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expressionβ30Updated 2 years ago
- [ICML 2025] Flow of Reasoning: Training LLMs for Divergent Reasoning with Minimal Examplesβ95Updated 2 weeks ago
- Resources for the Enigmata Project.β40Updated 2 weeks ago
- Official implementation of AAAI 2025 paper "Augmenting Math Word Problems via Iterative Question Composing"(https://arxiv.org/abs/2401.09β¦β20Updated 6 months ago
- The official code release for Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalizationβ32Updated 3 months ago
- A framework for few-shot evaluation of autoregressive language models.β24Updated last year
- Collections of RLxLM experiments using minimal codesβ13Updated 4 months ago