☆1,095Mar 12, 2024Updated last year
Alternatives and similar repositories for math-lm
Users that are interested in math-lm are comparing it to the libraries listed below
Sorting:
- ToRA is a series of Tool-integrated Reasoning LLM Agents designed to solve challenging mathematical reasoning problems by interacting wit…☆1,113Feb 22, 2024Updated 2 years ago
- llmstep: [L]LM proofstep suggestions in Lean 4.☆148Nov 11, 2023Updated 2 years ago
- Code and data for "MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning" [ICLR 2024]☆383Aug 25, 2024Updated last year
- [NeurlPS D&B 2024] Generative AI for Math: MathPile☆419Apr 4, 2025Updated 10 months ago
- LLMs build upon Evol Insturct: WizardLM, WizardCoder, WizardMath☆9,477Jun 7, 2025Updated 8 months ago
- Tool for data extraction and interacting with Lean programmatically.☆770Jan 18, 2026Updated last month
- Benchmark for undergraduate-level formal mathematics☆117Oct 14, 2024Updated last year
- ☆11Oct 11, 2023Updated 2 years ago
- 800,000 step-level correctness labels on LLM solutions to MATH problems☆2,094Jun 1, 2023Updated 2 years ago
- https://albertqjiang.github.io/Portal-to-ISAbelle/☆57Sep 6, 2023Updated 2 years ago
- ☆4,781Jan 13, 2026Updated last month
- MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models☆454Feb 1, 2024Updated 2 years ago
- [ICLR 2024] Lemur: Open Foundation Models for Language Agents☆555Oct 28, 2023Updated 2 years ago
- [MathCoder, MathCoder-VL] Family of LLMs/LMMs for mathematical reasoning.☆335Oct 18, 2025Updated 4 months ago
- DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models☆3,174Apr 15, 2024Updated last year
- Official inference library for Mistral models☆10,690Updated this week
- The MATH Dataset (NeurIPS 2021)☆1,307Sep 6, 2025Updated 5 months ago
- Repo for Rho-1: Token-level Data Selection & Selective Pretraining of LLMs.☆459Apr 18, 2024Updated last year
- ☆2,548May 19, 2024Updated last year
- Robust recipes to align language models with human and AI preferences☆5,506Sep 8, 2025Updated 5 months ago
- [ICLR 2024] Efficient Streaming Language Models with Attention Sinks☆7,187Jul 11, 2024Updated last year
- LongLLaMA is a large language model capable of handling long contexts. It is based on OpenLLaMA and fine-tuned with the Focused Transform…☆1,463Nov 7, 2023Updated 2 years ago
- ☆167May 2, 2024Updated last year
- State-of-the-art bilingual open-sourced Math reasoning LLMs.☆538Oct 22, 2024Updated last year
- The official repository for the paper Multilingual Mathematical Autoformalization☆38May 20, 2024Updated last year
- Proof artifact co-training for Lean☆45Dec 29, 2022Updated 3 years ago
- [ICML 2024] Break the Sequential Dependency of LLM Inference Using Lookahead Decoding☆1,315Mar 6, 2025Updated 11 months ago
- AgentTuning: Enabling Generalized Agent Abilities for LLMs☆1,477Oct 31, 2023Updated 2 years ago
- LLMs + Lean, on your laptop or in the cloud☆202Oct 10, 2025Updated 4 months ago
- [ICLR'24 spotlight] An open platform for training, serving, and evaluating large language model for tool learning.☆5,536May 21, 2025Updated 9 months ago
- Medusa: Simple Framework for Accelerating LLM Generation with Multiple Decoding Heads☆2,710Jun 25, 2024Updated last year
- Train transformer language models with reinforcement learning.☆17,460Updated this week
- An Open-source Toolkit for LLM Development☆2,805Jan 13, 2025Updated last year
- ☆45Sep 21, 2024Updated last year
- [COLM 2024] OpenAgents: An Open Platform for Language Agents in the Wild☆4,716Nov 18, 2024Updated last year
- [NeurIPS 2023] MeZO: Fine-Tuning Language Models with Just Forward Passes. https://arxiv.org/abs/2305.17333☆1,149Jan 11, 2024Updated 2 years ago
- Official Repository for "Eureka: Human-Level Reward Design via Coding Large Language Models" (ICLR 2024)☆3,117May 3, 2024Updated last year
- AllenAI's post-training codebase☆3,592Updated this week
- A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨☆273Apr 26, 2024Updated last year