[MathCoder, MathCoder-VL] Family of LLMs/LMMs for mathematical reasoning.
☆335Oct 18, 2025Updated 4 months ago
Alternatives and similar repositories for MathCoder
Users that are interested in MathCoder are comparing it to the libraries listed below
Sorting:
- ☆13Mar 11, 2024Updated last year
- ☆30Dec 27, 2024Updated last year
- ☆29May 8, 2024Updated last year
- Curation of resources for LLM mathematical reasoning, most of which are screened by @tongyx361 to ensure high quality and accompanied wit…☆150Jul 12, 2024Updated last year
- Code and data for "MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning" [ICLR 2024]☆383Aug 25, 2024Updated last year
- [ACL 2024 Findings] The official repo for "ConceptMath: A Bilingual Concept-wise Benchmark for Measuring Mathematical Reasoning of Large …☆24May 29, 2024Updated last year
- MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models☆454Feb 1, 2024Updated 2 years ago
- Code for Math-LLaVA: Bootstrapping Mathematical Reasoning for Multimodal Large Language Models☆92Jun 28, 2024Updated last year
- ☆52Mar 5, 2025Updated 11 months ago
- The code and data for the paper JiuZhang3.0☆49May 26, 2024Updated last year
- Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data☆42May 29, 2024Updated last year
- Mix of Minimal Optimal Sets (MMOS) of dataset has two advantages for two aspects, higher performance and lower construction costs on math…☆74Jul 27, 2024Updated last year
- 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
- Resources of deep learning for mathematical reasoning (DL4MATH).☆370Dec 22, 2023Updated 2 years ago
- [ACL 2025 Findings] Autonomous Data Selection with Zero-shot Generative Classifiers for Mathematical Texts (As Huggingface Daily Papers: …☆90Nov 23, 2025Updated 3 months ago
- A project to improve skills of large language models☆828Updated this week
- The official repository of the Omni-MATH benchmark.☆93Dec 22, 2024Updated last year
- ☆23Jul 5, 2024Updated last year
- ☆25Aug 23, 2024Updated last year
- ☆1,095Mar 12, 2024Updated last year
- [NeurlPS D&B 2024] Generative AI for Math: MathPile☆418Apr 4, 2025Updated 10 months ago
- SOTA Math Opensource LLM☆334Dec 12, 2023Updated 2 years ago
- [NeurIPS 2024] MATH-Vision dataset and code to measure multimodal mathematical reasoning capabilities.☆129May 16, 2025Updated 9 months ago
- Implementation for "Step-DPO: Step-wise Preference Optimization for Long-chain Reasoning of LLMs"☆391Jan 19, 2025Updated last year
- [ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scie…☆183Jun 8, 2025Updated 8 months ago
- LLMs + Lean, on your laptop or in the cloud☆202Oct 10, 2025Updated 4 months ago
- State-of-the-art bilingual open-sourced Math reasoning LLMs.☆538Oct 22, 2024Updated last year
- [ICLR 2025] Is Your Model Really A Good Math Reasoner? Evaluating Mathematical Reasoning with Checklist☆35Oct 23, 2024Updated last year
- [ICCV 2025 Highlight] The official repository for "2.5 Years in Class: A Multimodal Textbook for Vision-Language Pretraining"☆193Mar 17, 2025Updated 11 months ago
- ☆72Apr 2, 2024Updated last year
- ☆84Apr 18, 2024Updated last year
- ☆167May 2, 2024Updated last year
- ☆42Sep 19, 2024Updated last year
- The dataset and code for paper: TheoremQA: A Theorem-driven Question Answering dataset☆160Apr 23, 2024Updated last year
- Official code for "MAmmoTH2: Scaling Instructions from the Web" [NeurIPS 2024]☆149Oct 27, 2024Updated last year
- 800,000 step-level correctness labels on LLM solutions to MATH problems☆2,091Jun 1, 2023Updated 2 years ago
- GSM-Plus: Data, Code, and Evaluation for Enhancing Robust Mathematical Reasoning in Math Word Problems.☆64Jul 8, 2024Updated last year
- ☆76Jan 8, 2026Updated last month
- Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"☆29May 8, 2025Updated 9 months ago