zhaoxlpku / SubgoalXLLinks
β25Updated last year
Alternatives and similar repositories for SubgoalXL
Users that are interested in SubgoalXL are comparing it to the libraries listed below
Sorting:
- Code & data for ICLR 2024 spotlight paper: π―MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Dataβ41Updated last year
- β68Updated 2 months ago
- NaturalProver: Grounded Mathematical Proof Generation with Language Modelsβ38Updated 2 years ago
- π LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]β76Updated last year
- Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Librariesβ67Updated last year
- Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"β19Updated 2 years ago
- β42Updated last year
- Easy-to-Hard Generalization: Scalable Alignment Beyond Human Supervisionβ123Updated last year
- β21Updated 4 months ago
- Evaluate the Quality of Critiqueβ36Updated last year
- This is the official repository for all the code of TheoremLlamaβ45Updated 2 months ago
- [AAAI 2025] Augmenting Math Word Problems via Iterative Question Composing (https://arxiv.org/abs/2401.09003)β20Updated last week
- B-STAR: Monitoring and Balancing Exploration and Exploitation in Self-Taught Reasonersβ85Updated 4 months ago
- β16Updated 3 months ago
- β113Updated last month
- The official repository for the paper Multilingual Mathematical Autoformalizationβ37Updated last year
- β25Updated last year
- eβ41Updated 5 months ago
- β30Updated 9 months ago
- Solving Inequality Proofs with Large Language Models.β44Updated 3 weeks ago
- A Large-Scale, High-Quality Math Dataset for Reinforcement Learning in Language Modelsβ65Updated 7 months ago
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"β16Updated last year
- Llemma formal2formal (tactic prediction) theorem proving experimentsβ20Updated last year
- Benchmarking Benchmark Leakage in Large Language Modelsβ55Updated last year
- β52Updated last year
- β83Updated 8 months ago
- Collections of RLxLM experiments using minimal codesβ14Updated 7 months ago
- β120Updated last year
- [AAAI 2025 oral] Evaluating Mathematical Reasoning Beyond Accuracyβ69Updated this week
- [ICML 2025] Flow of Reasoning: Training LLMs for Divergent Reasoning with Minimal Examplesβ106Updated 2 months ago