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,094Updated last year
• mustafaaljadery / gemma-2B-10M
  Gemma 2B with 10M context length using Infini-attention.
  ☆944Updated last year
• QwenLM / Qwen2.5-Math
  A series of math-specific large language models of our Qwen2 series.
  ☆1,015Updated 9 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".
  ☆640Updated 2 months ago
• GAIR-NLP / MathPile
  [NeurlPS D&B 2024] Generative AI for Math: MathPile
  ☆417Updated 6 months ago
• microsoft / CodeT
  ☆665Updated 11 months ago
• lean-dojo / LeanDojo
  Tool for data extraction and interacting with Lean programmatically.
  ☆708Updated last month
• salesforce / xgen
  Salesforce open-source LLMs with 8k sequence length.
  ☆721Updated 8 months ago
• lean-dojo / LeanCopilot
  LLMs as Copilots for Theorem Proving in Lean
  ☆1,168Updated 3 weeks ago
• arielnlee / Platypus
  Code for fine-tuning Platypus fam LLMs using LoRA
  ☆627Updated last year
• openai / prm800k
  800,000 step-level correctness labels on LLM solutions to MATH problems
  ☆2,054Updated 2 years ago
• openai / automated-interpretability
  ☆1,048Updated last year
• hendrycks / math
  The MATH Dataset (NeurIPS 2021)
  ☆1,211Updated last month
• OpenCodeInterpreter / OpenCodeInterpreter
  OpenCodeInterpreter is a suite of open-source code generation systems aimed at bridging the gap between large language models and sophist…
  ☆1,682Updated last year
• bigcode-project / Megatron-LM
  Ongoing research training transformer models at scale
  ☆391Updated last year
• Xwin-LM / Xwin-LM
  Xwin-LM: Powerful, Stable, and Reproducible LLM Alignment
  ☆1,043Updated last year
• redotvideo / mamba-chat
  Mamba-Chat: A chat LLM based on the state-space model architecture 🐍
  ☆932Updated last year
• google-deepmind / funsearch
  ☆936Updated last year
• lean-dojo / ReProver
  Retrieval-Augmented Theorem Provers for Lean
  ☆298Updated 8 months ago
• lucidrains / self-rewarding-lm-pytorch
  Implementation of the training framework proposed in Self-Rewarding Language Model, from MetaAI
  ☆1,399Updated last year
• TIGER-AI-Lab / MAmmoTH
  Code and data for "MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning" [ICLR 2024]
  ☆376Updated last year
• mathllm / MathCoder
  [MathCoder, MathCoder-VL] Family of LLMs/LMMs for mathematical reasoning.
  ☆321Updated this week
• OpenLMLab / LOMO
  LOMO: LOw-Memory Optimization
  ☆987Updated last year
• reasoning-machines / pal
  PaL: Program-Aided Language Models (ICML 2023)
  ☆511Updated 2 years ago
• kyegomez / LongNet
  Implementation of plug in and play Attention from "LongNet: Scaling Transformers to 1,000,000,000 Tokens"
  ☆710Updated last year
• Victorwz / LongMem
  Official implementation of our NeurIPS 2023 paper "Augmenting Language Models with Long-Term Memory".
  ☆808Updated last year
• Liuhong99 / Sophia
  The official implementation of “Sophia: A Scalable Stochastic Second-order Optimizer for Language Model Pre-training”
  ☆976Updated last year
• OpenLemur / Lemur
  [ICLR 2024] Lemur: Open Foundation Models for Language Agents
  ☆555Updated last year
• abertsch72 / unlimiformer
  Public repo for the NeurIPS 2023 paper "Unlimiformer: Long-Range Transformers with Unlimited Length Input"
  ☆1,062Updated last year
• yuchenlin / LLM-Blender
  [ACL2023] We introduce LLM-Blender, an innovative ensembling framework to attain consistently superior performance by leveraging the dive…
  ☆963Updated 11 months ago