Alternatives and similar repositories for math-lm

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

• mustafaaljadery / gemma-2B-10M
  Gemma 2B with 10M context length using Infini-attention.
  ☆940Updated last year
• microsoft / ToRA
  ToRA is a series of Tool-integrated Reasoning LLM Agents designed to solve challenging mathematical reasoning problems by interacting wit…
  ☆1,104Updated last year
• QwenLM / Qwen2.5-Math
  A series of math-specific large language models of our Qwen2 series.
  ☆1,039Updated 10 months ago
• lean-dojo / LeanCopilot
  LLMs as Copilots for Theorem Proving in Lean
  ☆1,185Updated this week
• GAIR-NLP / MathPile
  [NeurlPS D&B 2024] Generative AI for Math: MathPile
  ☆418Updated 7 months ago
• Xwin-LM / Xwin-LM
  Xwin-LM: Powerful, Stable, and Reproducible LLM Alignment
  ☆1,042Updated last year
• microsoft / CodeT
  ☆668Updated last year
• lucidrains / self-rewarding-lm-pytorch
  Implementation of the training framework proposed in Self-Rewarding Language Model, from MetaAI
  ☆1,403Updated last year
• OpenLemur / Lemur
  [ICLR 2024] Lemur: Open Foundation Models for Language Agents
  ☆554Updated 2 years ago
• myshell-ai / JetMoE
  Reaching LLaMA2 Performance with 0.1M Dollars
  ☆987Updated last year
• reasoning-machines / pal
  PaL: Program-Aided Language Models (ICML 2023)
  ☆516Updated 2 years 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".
  ☆652Updated 3 months ago
• google-deepmind / funsearch
  ☆957Updated last year
• salesforce / xgen
  Salesforce open-source LLMs with 8k sequence length.
  ☆722Updated 9 months ago
• hendrycks / math
  The MATH Dataset (NeurIPS 2021)
  ☆1,251Updated 2 months ago
• SkunkworksAI / hydra-moe
  ☆415Updated 2 years ago
• TIGER-AI-Lab / MAmmoTH
  Code and data for "MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning" [ICLR 2024]
  ☆376Updated last year
• booydar / recurrent-memory-transformer
  [NeurIPS 22] [AAAI 24] Recurrent Transformer-based long-context architecture.
  ☆773Updated last year
• openai / prm800k
  800,000 step-level correctness labels on LLM solutions to MATH problems
  ☆2,073Updated 2 years ago
• mistralai / megablocks-public
  ☆863Updated last year
• FusionBrainLab / OmniFusion
  OmniFusion — a multimodal model to communicate using text and images
  ☆233Updated last year
• arielnlee / Platypus
  Code for fine-tuning Platypus fam LLMs using LoRA
  ☆629Updated last year
• lean-dojo / LeanDojo
  Tool for data extraction and interacting with Lean programmatically.
  ☆727Updated 2 months ago
• mathllm / MathCoder
  [MathCoder, MathCoder-VL] Family of LLMs/LMMs for mathematical reasoning.
  ☆332Updated last month
• kyegomez / LongNet
  Implementation of plug in and play Attention from "LongNet: Scaling Transformers to 1,000,000,000 Tokens"
  ☆713Updated 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…
  ☆597Updated 2 years ago
• yuchenlin / LLM-Blender
  [ACL2023] We introduce LLM-Blender, an innovative ensembling framework to attain consistently superior performance by leveraging the dive…
  ☆970Updated last year
• openai / automated-interpretability
  ☆1,055Updated last year
• DLYuanGod / TinyGPT-V
  TinyGPT-V: Efficient Multimodal Large Language Model via Small Backbones
  ☆1,303Updated last year
• Victorwz / LongMem
  Official implementation of our NeurIPS 2023 paper "Augmenting Language Models with Long-Term Memory".
  ☆818Updated last year