wellecks / llemma_formal2formal
Llemma formal2formal (tactic prediction) theorem proving experiments
☆20Updated last year
Alternatives and similar repositories for llemma_formal2formal:
Users that are interested in llemma_formal2formal are comparing it to the libraries listed below
- Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"☆19Updated last year
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆37Updated 2 years ago
- Official implementation of AAAI 2025 paper "Augmenting Math Word Problems via Iterative Question Composing"(https://arxiv.org/abs/2401.09…☆20Updated 4 months ago
- ☆25Updated 8 months ago
- This is the official repository for all the code of TheoremLlama☆42Updated 6 months ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆22Updated 11 months ago
- The official repository for the paper Multilingual Mathematical Autoformalization☆35Updated 11 months ago
- Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs☆34Updated last year
- Evaluate the Quality of Critique☆34Updated 11 months ago
- The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)☆31Updated 11 months ago
- ☆29Updated 4 months ago
- ☆43Updated 7 months ago
- Code for Paper: Teaching Language Models to Critique via Reinforcement Learning☆94Updated 3 weeks ago
- Evaluation on Logical Reasoning and Abstract Reasoning Challenges☆26Updated 2 weeks ago
- Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data☆41Updated 11 months ago
- AI for Mathematics Paper List☆17Updated 3 months ago
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"☆16Updated 10 months ago
- Codebase for Inference-Time Policy Adapters☆23Updated last year
- 🤖ConvRe🤯: An Investigation of LLMs’ Inefficacy in Understanding Converse Relations (EMNLP 2023)☆23Updated last year
- [ACL 2024] The project of Symbol-LLM☆54Updated 9 months ago
- Scripts for downloading and pre-processing the `proof-pile`, a high quality dataset of mathematical text and code.☆19Updated 2 years ago
- Reference implementation for Reward-Augmented Decoding: Efficient Controlled Text Generation With a Unidirectional Reward Model☆44Updated last year
- Supporting code for ReCEval paper☆28Updated 7 months ago
- [EMNLP-2022 Findings] Code for paper “ProGen: Progressive Zero-shot Dataset Generation via In-context Feedback”.☆26Updated 2 years ago
- ☆33Updated last year
- Tasks for describing differences between text distributions.☆16Updated 8 months ago
- [NAACL 2025] The official implementation of paper "Learning From Failure: Integrating Negative Examples when Fine-tuning Large Language M…☆26Updated last year
- Scratchpad/Chain-of-Thought Prompts☆12Updated 2 years ago
- ☆24Updated 6 months ago
- Interpretable Contrastive Monte Carlo Tree Search Reasoning☆48Updated 5 months ago