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:
- β67Updated last year
- β25Updated 9 months ago
- Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Librariesβ63Updated last year
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"β16Updated 11 months ago
- β29Updated 4 months ago
- β51Updated this week
- β27Updated last week
- β15Updated 6 months ago
- π LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]β70Updated last year
- β57Updated 2 weeks ago
- β34Updated 7 months ago
- The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"β83Updated 2 months ago
- [COLM 2024] A Survey on Deep Learning for Theorem Provingβ186Updated last week
- The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)β32Updated last year
- The official repository for the paper Multilingual Mathematical Autoformalizationβ36Updated last year
- β16Updated 10 months ago
- An inequality benchmark for theorem provingβ10Updated last week
- NaturalProver: Grounded Mathematical Proof Generation with Language Modelsβ38Updated 2 years ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdfβ22Updated last year
- Kimina Lean serverβ67Updated 2 weeks ago
- Neural theorem proving evaluation via the Lean REPLβ23Updated 7 months ago
- This is the official repository for all the code of TheoremLlamaβ42Updated 7 months ago
- β82Updated 4 months ago
- https://albertqjiang.github.io/Portal-to-ISAbelle/β56Updated last year
- AI for Mathematics (AI4Math) paper listβ163Updated 8 months ago
- β43Updated 8 months ago
- [ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scieβ¦β151Updated 10 months ago
- Automatic solver for plane geometry problems.β30Updated last month
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)β48Updated 10 months ago
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.β124Updated this week