Alternatives and similar repositories for dl4math

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

• lupantech / InterGPS
  Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"
  ☆171Updated 10 months ago
• OFA-Sys / gsm8k-ScRel
  Codes and Data for Scaling Relationship on Learning Mathematical Reasoning with Large Language Models
  ☆269Updated last year
• jeffhj / LM-reasoning
  This repository contains a collection of papers and resources on Reasoning in Large Language Models.
  ☆566Updated 2 years ago
• hendrycks / math
  The MATH Dataset (NeurIPS 2021)
  ☆1,294Updated 4 months ago
• kojima-takeshi188 / zero_shot_cot
  Prod Env
  ☆438Updated 2 years ago
• ZubinGou / math-evaluation-harness
  A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨
  ☆273Updated last year
• MARIO-Math-Reasoning / Super_MARIO
  ☆341Updated 7 months ago
• tongyx361 / Awesome-LLM4Math
  Curation of resources for LLM mathematical reasoning, most of which are screened by @tongyx361 to ensure high quality and accompanied wit…
  ☆150Updated last year
• teacherpeterpan / self-correction-llm-papers
  This is a collection of research papers for Self-Correcting Large Language Models with Automated Feedback.
  ☆563Updated last year
• arkilpatel / SVAMP
  NAACL 2021: Are NLP Models really able to Solve Simple Math Word Problems?
  ☆139Updated 3 years ago
• OpenBMB / OlympiadBench
  [ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scie…
  ☆178Updated 7 months ago
• wiio12 / LEGO-Prover
  Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries
  ☆67Updated last year
• TIGER-AI-Lab / MAmmoTH
  Code and data for "MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning" [ICLR 2024]
  ☆382Updated last year
• ezelikman / STaR
  Code for STaR: Bootstrapping Reasoning With Reasoning (NeurIPS 2022)
  ☆220Updated 2 years ago
• iiis-ai / cumulative-reasoning
  [TMLR] Cumulative Reasoning With Large Language Models (https://arxiv.org/abs/2308.04371)
  ☆309Updated 5 months ago
• TIGER-AI-Lab / Program-of-Thoughts
  Data and Code for Program of Thoughts [TMLR 2023]
  ☆303Updated last year
• mathllm / MathCoder
  [MathCoder, MathCoder-VL] Family of LLMs/LMMs for mathematical reasoning.
  ☆337Updated 3 months ago
• keirp / OpenWebMath
  ☆167Updated last year
• RenzeLou / awesome-instruction-learning
  Papers and Datasets on Instruction Tuning and Following. ✨✨✨
  ☆506Updated last year
• sangmichaelxie / doremi
  Pytorch implementation of DoReMi, a method for optimizing the data mixture weights in language modeling datasets
  ☆350Updated 2 years ago
• suzgunmirac / BIG-Bench-Hard
  Challenging BIG-Bench Tasks and Whether Chain-of-Thought Can Solve Them
  ☆544Updated last year
• YuxiXie / MCTS-DPO
  This is the repository that contains the source code for the Self-Evaluation Guided MCTS for online DPO.
  ☆328Updated last year
• MARIO-Math-Reasoning / MARIO_EVAL
  ☆52Updated 10 months ago
• teacherpeterpan / Logic-LLM
  The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"
  ☆376Updated last year
• Eleanor-H / MUSTARD
  Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
  ☆41Updated last year
• SinclairCoder / Instruction-Tuning-Papers
  Reading list of Instruction-tuning. A trend starts from Natrural-Instruction (ACL 2022), FLAN (ICLR 2022) and T0 (ICLR 2022).
  ☆767Updated 2 years ago
• waterhorse1 / LLM_Tree_Search
  (ICML 2024) Alphazero-like Tree-Search can guide large language model decoding and training
  ☆284Updated last year
• OpenBMB / UltraFeedback
  A large-scale, fine-grained, diverse preference dataset (and models).
  ☆361Updated 2 years ago
• protagolabs / odyssey-math
  ☆85Updated last year
• project-numina / aimo-progress-prize
  ☆481Updated last year