Alternatives and similar repositories for math-lm:

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

• lean-dojo / LeanDojo
  Tool for data extraction and interacting with Lean programmatically.
  ☆633Updated 3 weeks ago
• GAIR-NLP / MathPile
  [NeurlPS D&B 2024] Generative AI for Math: MathPile
  ☆409Updated this week
• mustafaaljadery / gemma-2B-10M
  Gemma 2B with 10M context length using Infini-attention.
  ☆950Updated 10 months ago
• openai / prm800k
  800,000 step-level correctness labels on LLM solutions to MATH problems
  ☆1,960Updated last year
• openai / automated-interpretability
  ☆1,000Updated last year
• TIGER-AI-Lab / MAmmoTH
  Code and data for "MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning" (ICLR 2024)
  ☆364Updated 7 months ago
• QwenLM / Qwen2.5-Math
  A series of math-specific large language models of our Qwen2 series.
  ☆879Updated 2 months ago
• mathllm / MathCoder
  Family of LLMs for mathematical reasoning.
  ☆256Updated 3 months ago
• abacusai / Long-Context
  This repository contains code and tooling for the Abacus.AI LLM Context Expansion project. Also included are evaluation scripts and bench…
  ☆584Updated last year
• kyegomez / LongNet
  Implementation of plug in and play Attention from "LongNet: Scaling Transformers to 1,000,000,000 Tokens"
  ☆701Updated last year
• hendrycks / math
  The MATH Dataset (NeurIPS 2021)
  ☆1,086Updated 7 months ago
• lean-dojo / LeanCopilot
  LLMs as Copilots for Theorem Proving in Lean
  ☆1,064Updated 3 weeks ago
• lean-dojo / ReProver
  Retrieval-Augmented Theorem Provers for Lean
  ☆262Updated 2 months ago
• microsoft / ToRA
  ToRA is a series of Tool-integrated Reasoning LLM Agents designed to solve challenging mathematical reasoning problems by interacting wit…
  ☆1,051Updated last year
• IBM / Dromedary
  Dromedary: towards helpful, ethical and reliable LLMs.
  ☆1,140Updated last year
• redis-developer / ArXivChatGuru
  Use ArXiv ChatGuru to talk to research papers. This app uses LangChain, OpenAI, Streamlit, and Redis as a vector database/semantic cache.
  ☆541Updated last month
• jquesnelle / yarn
  YaRN: Efficient Context Window Extension of Large Language Models
  ☆1,455Updated 11 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,637Updated 10 months ago
• FusionBrainLab / OmniFusion
  OmniFusion — a multimodal model to communicate using text and images
  ☆230Updated 11 months ago
• OpenLemur / Lemur
  [ICLR 2024] Lemur: Open Foundation Models for Language Agents
  ☆542Updated last year
• openai / miniF2F
  Formal to Formal Mathematics Benchmark
  ☆342Updated last year
• bigcode-project / Megatron-LM
  Ongoing research training transformer models at scale
  ☆383Updated 7 months ago
• OpenLMLab / LOMO
  LOMO: LOw-Memory Optimization
  ☆982Updated 9 months ago
• LudwigStumpp / llm-leaderboard
  A joint community effort to create one central leaderboard for LLMs.
  ☆294Updated 7 months ago
• Victorwz / LongMem
  Official implementation of our NeurIPS 2023 paper "Augmenting Language Models with Long-Term Memory".
  ☆787Updated last year
• dzhulgakov / llama-mistral
  Inference code for Mistral and Mixtral hacked up into original Llama implementation
  ☆371Updated last year
• GAIR-NLP / abel
  SOTA Math Opensource LLM
  ☆331Updated last year
• project-numina / aimo-progress-prize
  ☆420Updated 8 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".
  ☆591Updated 3 weeks ago
• myshell-ai / JetMoE
  Reaching LLaMA2 Performance with 0.1M Dollars
  ☆980Updated 8 months ago