Alternatives and similar repositories for SubgoalXL:

Users that are interested in SubgoalXL are comparing it to the libraries listed below

• Eleanor-H / MUSTARD
  Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
  ☆38Updated 8 months ago
• iiis-ai / IterativeQuestionComposing
  Official implementation of AAAI 2025 paper "Augmenting Math Word Problems via Iterative Question Composing"(https://arxiv.org/abs/2401.09…
  ☆18Updated last month
• ChengpengLi1003 / DotaMath
  ☆26Updated last month
• wellecks / naturalprover
  NaturalProver: Grounded Mathematical Proof Generation with Language Models
  ☆36Updated last year
• GAIR-NLP / MetaCritique
  Evaluate the Quality of Critique
  ☆35Updated 7 months ago
• GAIR-NLP / ReasonEval
  [AAAI 2025 oral] Evaluating Mathematical Reasoning Beyond Accuracy
  ☆44Updated last month
• qtli / GSM-Plus
  GSM-Plus: Data, Code, and Evaluation for Enhancing Robust Mathematical Reasoning in Math Word Problems.
  ☆55Updated 6 months ago
• GAIR-NLP / self-improvement-reversal
  ☆13Updated 6 months ago
• genrm-star / genrm-critiques
  GenRM-CoT: Data release for verification rationales
  ☆45Updated 3 months ago
• RUCAIBox / JiuZhang3.0
  The code and data for the paper JiuZhang3.0
  ☆40Updated 8 months ago
• rookie-joe / PDA
  ☆24Updated 2 weeks ago
• HKUNLP / subgoal-theorem-prover
  Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"
  ☆17Updated last year
• GAIR-NLP / weak-to-strong-reasoning
  ☆58Updated 4 months ago
• albertqjiang / MMA
  The official repository for the paper Multilingual Mathematical Autoformalization
  ☆33Updated 8 months ago
• RLHFlow / RAFT
  This is an official implementation of the Reward rAnked Fine-Tuning Algorithm (RAFT), also known as iterative best-of-n fine-tuning or re…
  ☆22Updated 4 months ago
• janphilippfranken / sami
  Self-Supervised Alignment with Mutual Information
  ☆16Updated 8 months ago
• whyNLP / Conic10K
  Conic10K: A large-scale dataset for closed-vocabulary math problem understanding. Accepted to EMNLP2023 Findings.
  ☆25Updated last year
• WeiminXiong / IPR
  Watch Every Step! LLM Agent Learning via Iterative Step-level Process Refinement (EMNLP 2024 Main Conference)
  ☆50Updated 3 months ago
• benlipkin / linc
  🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]
  ☆58Updated last year
• LZhengisme / self-infilling
  [ICML 2024] Self-Infilling Code Generation
  ☆18Updated 8 months ago
• mathllm / Step-Controlled_DPO
  ☆20Updated 6 months ago
• mukhal / grace
  [EMNLP 2023, Findings] GRACE: Discriminator-Guided Chain-of-Thought Reasoning
  ☆46Updated 3 months ago
• esteng / regal_program_learning
  ☆22Updated 4 months ago
• chuanyang-Zheng / Lyra-theorem-prover
  The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"
  ☆14Updated 6 months ago
• Dahoas / QDSyntheticData
  ☆13Updated 5 months ago
• ChangyuChen347 / MaskedThought
  [ACL 2024] Masked Thought: Simply Masking Partial Reasoning Steps Can Improve Mathematical Reasoning Learning of Language Models
  ☆15Updated 6 months ago
• RLHFlow / Directional-Preference-Alignment
  Directional Preference Alignment
  ☆54Updated 4 months ago