EleutherAI / math-lm

Related projects ⓘ

Alternatives and complementary repositories for math-lm

• lean-dojo / LeanCopilot
  LLMs as Copilots for Theorem Proving in Lean
  ☆999Updated 2 weeks ago
• lean-dojo / LeanDojo
  Tool for data extraction and interacting with Lean programmatically.
  ☆574Updated last month
• QwenLM / Qwen2.5-Math
  A series of math-specific large language models of our Qwen2 series.
  ☆607Updated 3 weeks ago
• mustafaaljadery / gemma-2B-10M
  Gemma 2B with 10M context length using Infini-attention.
  ☆949Updated 6 months ago
• deepseek-ai / DeepSeek-Math
  DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models
  ☆840Updated 7 months ago
• lean-dojo / ReProver
  Retrieval-Augmented Theorem Provers for Lean
  ☆229Updated 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…
  ☆983Updated 9 months ago
• DLYuanGod / TinyGPT-V
  TinyGPT-V: Efficient Multimodal Large Language Model via Small Backbones
  ☆1,251Updated 7 months ago
• microsoft / CodeT
  ☆608Updated 3 weeks ago
• TIGER-AI-Lab / MAmmoTH
  Code and data for "MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning" (ICLR 2024)
  ☆337Updated 2 months ago
• hendrycks / math
  The MATH Dataset (NeurIPS 2021)
  ☆902Updated 3 months ago
• allenai / dolma
  Data and tools for generating and inspecting OLMo pre-training data.
  ☆1,002Updated this week
• InternLM / InternLM-Math
  State-of-the-art bilingual open-sourced Math reasoning LLMs.
  ☆438Updated last month
• openai / prm800k
  800,000 step-level correctness labels on LLM solutions to MATH problems
  ☆1,669Updated 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".
  ☆550Updated this week
• GAIR-NLP / MathPile
  [NeurlPS D&B 2024] Generative AI for Math: MathPile
  ☆395Updated 3 weeks ago
• lupantech / ScienceQA
  Data and code for NeurIPS 2022 Paper "Learn to Explain: Multimodal Reasoning via Thought Chains for Science Question Answering".
  ☆606Updated 2 months ago
• project-numina / aimo-progress-prize
  ☆322Updated 4 months ago
• trotsky1997 / MathBlackBox
  ☆940Updated 2 weeks ago
• Victorwz / LongMem
  Official implementation of our NeurIPS 2023 paper "Augmenting Language Models with Long-Term Memory".
  ☆765Updated 7 months ago
• google-deepmind / tracr
  ☆508Updated 9 months ago
• mathllm / MathCoder
  Family of LLMs for mathematical reasoning.
  ☆235Updated 6 months ago
• lapisrocks / LanguageAgentTreeSearch
  [ICML 2024] Official repository for "Language Agent Tree Search Unifies Reasoning Acting and Planning in Language Models"
  ☆685Updated 3 months ago
• open-compass / MixtralKit
  A toolkit for inference and evaluation of 'mixtral-8x7b-32kseqlen' from Mistral AI
  ☆765Updated 11 months ago
• namin / llm-verified-with-monte-carlo-tree-search
  LLM verified with Monte Carlo Tree Search
  ☆251Updated 2 months ago
• shuyanzhou / docprompting
  Data and code for "DocPrompting: Generating Code by Retrieving the Docs" @ICLR 2023
  ☆232Updated 11 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…
  ☆583Updated last year
• hao-ai-lab / LookaheadDecoding
  [ICML 2024] Break the Sequential Dependency of LLM Inference Using Lookahead Decoding
  ☆1,150Updated last month