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,113Updated last year
• lean-dojo / LeanCopilot
  LLMs as Copilots for Theorem Proving in Lean
  ☆1,220Updated 3 weeks ago
• GAIR-NLP / MathPile
  [NeurlPS D&B 2024] Generative AI for Math: MathPile
  ☆419Updated 10 months ago
• lean-dojo / LeanDojo
  Tool for data extraction and interacting with Lean programmatically.
  ☆758Updated 3 weeks ago
• mustafaaljadery / gemma-2B-10M
  Gemma 2B with 10M context length using Infini-attention.
  ☆935Updated last year
• 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".
  ☆665Updated this week
• hendrycks / math
  The MATH Dataset (NeurIPS 2021)
  ☆1,298Updated 5 months ago
• OpenLemur / Lemur
  [ICLR 2024] Lemur: Open Foundation Models for Language Agents
  ☆556Updated 2 years ago
• openai / automated-interpretability
  ☆1,069Updated last year
• lucidrains / self-rewarding-lm-pytorch
  Implementation of the training framework proposed in Self-Rewarding Language Model, from MetaAI
  ☆1,407Updated last year
• QwenLM / Qwen2.5-Math
  A series of math-specific large language models of our Qwen2 series.
  ☆1,063Updated last year
• salesforce / xgen
  Salesforce open-source LLMs with 8k sequence length.
  ☆723Updated last year
• yuchenlin / LLM-Blender
  [ACL2023] We introduce LLM-Blender, an innovative ensembling framework to attain consistently superior performance by leveraging the dive…
  ☆975Updated last year
• microsoft / CodeT
  ☆671Updated last year
• TIGER-AI-Lab / MAmmoTH
  Code and data for "MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning" [ICLR 2024]
  ☆383Updated last year
• google-deepmind / funsearch
  ☆1,001Updated 2 years ago
• bigcode-project / Megatron-LM
  Ongoing research training transformer models at scale
  ☆395Updated last year
• project-numina / aimo-progress-prize
  ☆481Updated last year
• ezelikman / parsel
  Code for Parsel 🐍 - generate complex programs with language models
  ☆439Updated 2 years ago
• mathllm / MathCoder
  [MathCoder, MathCoder-VL] Family of LLMs/LMMs for mathematical reasoning.
  ☆339Updated 3 months ago
• ruixiangcui / AGIEval
  ☆772Updated last year
• openai / prm800k
  800,000 step-level correctness labels on LLM solutions to MATH problems
  ☆2,087Updated 2 years ago
• google-deepmind / tracr
  ☆551Updated 2 years ago
• Xwin-LM / Xwin-LM
  Xwin-LM: Powerful, Stable, and Reproducible LLM Alignment
  ☆1,038Updated last year
• tomaarsen / attention_sinks
  Extend existing LLMs way beyond the original training length with constant memory usage, without retraining
  ☆737Updated last year
• allenai / OLMo-Eval-Legacy
  Evaluation suite for LLMs
  ☆378Updated 6 months ago
• HazyResearch / m2
  Repo for "Monarch Mixer: A Simple Sub-Quadratic GEMM-Based Architecture"
  ☆562Updated last year
• booydar / recurrent-memory-transformer
  [NeurIPS 22] [AAAI 24] Recurrent Transformer-based long-context architecture.
  ☆775Updated last year
• CStanKonrad / long_llama
  LongLLaMA is a large language model capable of handling long contexts. It is based on OpenLLaMA and fine-tuned with the Focused Transform…
  ☆1,463Updated 2 years ago
• reasoning-machines / pal
  PaL: Program-Aided Language Models (ICML 2023)
  ☆517Updated 2 years ago