wellecks / llemma_formal2formal
Llemma formal2formal (tactic prediction) theorem proving experiments
☆19Updated last year
Alternatives and similar repositories for llemma_formal2formal:
Users that are interested in llemma_formal2formal are comparing it to the libraries listed below
- This is the official repository for all the code of TheoremLlama☆38Updated 4 months ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆20Updated 8 months ago
- ☆23Updated 5 months ago
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆36Updated last year
- Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"☆17Updated last year
- Official implementation of AAAI 2025 paper "Augmenting Math Word Problems via Iterative Question Composing"(https://arxiv.org/abs/2401.09…☆18Updated 2 months ago
- The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)☆27Updated 9 months ago
- Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs☆34Updated last year
- AI for Mathematics Paper List☆15Updated last month
- The official repository for the paper Multilingual Mathematical Autoformalization☆33Updated 9 months ago
- COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.☆55Updated this week
- ☆31Updated 5 months ago
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"☆14Updated 7 months ago
- ☆114Updated 7 months ago
- Neural theorem proving toolkit: data extraction tools for Lean 4☆18Updated last month
- Scratchpad/Chain-of-Thought Prompts☆12Updated 2 years ago
- Code Repository for "A Causal Framework to Quantify the Robustness of Mathematical Reasoning with Language Models".☆13Updated 2 years ago
- Supporting code for ReCEval paper☆28Updated 5 months ago
- Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data☆39Updated 8 months ago
- Conic10K: A large-scale dataset for closed-vocabulary math problem understanding. Accepted to EMNLP2023 Findings.☆25Updated last year
- ProofNet dataset ported into Lean 4☆19Updated 9 months ago
- Evaluate the Quality of Critique☆35Updated 8 months ago
- ☆13Updated 6 months ago
- A unified benchmark for math reasoning☆87Updated 2 years ago
- Minimum Description Length probing for neural network representations☆18Updated 3 weeks ago
- ☆26Updated 7 months ago
- Scripts for downloading and pre-processing the `proof-pile`, a high quality dataset of mathematical text and code.☆19Updated 2 years ago
- ☆28Updated last month
- The Lean Theorem Proving Environment☆13Updated last year