Alternatives and similar repositories for math-lm

Users that are interested in math-lm are comparing it to the libraries listed below

• microsoft / ToRA
  ToRA is a series of Tool-integrated Reasoning LLM Agents designed to solve challenging mathematical reasoning problems by interacting wit…
  ☆1,084Updated last year
• mustafaaljadery / gemma-2B-10M
  Gemma 2B with 10M context length using Infini-attention.
  ☆947Updated last year
• QwenLM / Qwen2.5-Math
  A series of math-specific large language models of our Qwen2 series.
  ☆997Updated 7 months ago
• google-deepmind / long-form-factuality
  Benchmarking long-form factuality in large language models. Original code for our paper "Long-form factuality in large language models".
  ☆639Updated 3 weeks ago
• GAIR-NLP / MathPile
  [NeurlPS D&B 2024] Generative AI for Math: MathPile
  ☆416Updated 4 months ago
• lucidrains / self-rewarding-lm-pytorch
  Implementation of the training framework proposed in Self-Rewarding Language Model, from MetaAI
  ☆1,399Updated last year
• lean-dojo / LeanCopilot
  LLMs as Copilots for Theorem Proving in Lean
  ☆1,154Updated 2 weeks ago
• project-numina / aimo-progress-prize
  ☆465Updated last year
• OpenLemur / Lemur
  [ICLR 2024] Lemur: Open Foundation Models for Language Agents
  ☆555Updated last year
• hendrycks / math
  The MATH Dataset (NeurIPS 2021)
  ☆1,183Updated last year
• myshell-ai / JetMoE
  Reaching LLaMA2 Performance with 0.1M Dollars
  ☆988Updated last year
• TIGER-AI-Lab / MAmmoTH
  Code and data for "MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning" [ICLR 2024]
  ☆377Updated last year
• lean-dojo / LeanDojo
  Tool for data extraction and interacting with Lean programmatically.
  ☆701Updated 2 months ago
• OpenCodeInterpreter / OpenCodeInterpreter
  OpenCodeInterpreter is a suite of open-source code generation systems aimed at bridging the gap between large language models and sophist…
  ☆1,678Updated last year
• openai / prm800k
  800,000 step-level correctness labels on LLM solutions to MATH problems
  ☆2,041Updated 2 years ago
• Victorwz / LongMem
  Official implementation of our NeurIPS 2023 paper "Augmenting Language Models with Long-Term Memory".
  ☆806Updated last year
• abacusai / Long-Context
  This repository contains code and tooling for the Abacus.AI LLM Context Expansion project. Also included are evaluation scripts and bench…
  ☆594Updated last year
• reasoning-machines / pal
  PaL: Program-Aided Language Models (ICML 2023)
  ☆505Updated 2 years ago
• microsoft / CodeT
  ☆664Updated 10 months ago
• IBM / Dromedary
  Dromedary: towards helpful, ethical and reliable LLMs.
  ☆1,148Updated 3 months ago
• openai / automated-interpretability
  ☆1,031Updated last year
• booydar / recurrent-memory-transformer
  [NeurIPS 22] [AAAI 24] Recurrent Transformer-based long-context architecture.
  ☆768Updated 10 months ago
• yuchenlin / LLM-Blender
  [ACL2023] We introduce LLM-Blender, an innovative ensembling framework to attain consistently superior performance by leveraging the dive…
  ☆958Updated 10 months ago
• Xwin-LM / Xwin-LM
  Xwin-LM: Powerful, Stable, and Reproducible LLM Alignment
  ☆1,041Updated last year
• uclaml / SPIN
  The official implementation of Self-Play Fine-Tuning (SPIN)
  ☆1,193Updated last year
• google-deepmind / funsearch
  ☆923Updated last year
• openai / grade-school-math
  ☆1,317Updated last year
• lupantech / dl4math
  Resources of deep learning for mathematical reasoning (DL4MATH).
  ☆363Updated last year
• SkunkworksAI / hydra-moe
  ☆416Updated last year
• facebookresearch / llm-transparency-tool
  LLM Transparency Tool (LLM-TT), an open-source interactive toolkit for analyzing internal workings of Transformer-based language models. …
  ☆830Updated 8 months ago