EleutherAI / math-lmLinks
☆1,083Updated last year
Alternatives and similar repositories for math-lm
Users that are interested in math-lm are comparing it to the libraries listed below
Sorting:
- ☆880Updated last year
- Tool for data extraction and interacting with Lean programmatically.☆668Updated last week
- ToRA is a series of Tool-integrated Reasoning LLM Agents designed to solve challenging mathematical reasoning problems by interacting wit…☆1,071Updated last year
- A series of math-specific large language models of our Qwen2 series.☆938Updated 4 months ago
- Retrieval-Augmented Theorem Provers for Lean☆272Updated 4 months ago
- [NeurlPS D&B 2024] Generative AI for Math: MathPile☆413Updated 2 months ago
- Code and data for "MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning" [ICLR 2024]☆374Updated 9 months ago
- Benchmarking long-form factuality in large language models. Original code for our paper "Long-form factuality in large language models".☆613Updated last month
- 800,000 step-level correctness labels on LLM solutions to MATH problems☆2,001Updated 2 years ago
- Gemma 2B with 10M context length using Infini-attention.☆947Updated last year
- Resources of deep learning for mathematical reasoning (DL4MATH).☆358Updated last year
- ☆1,020Updated last year
- [ICLR 2024] Lemur: Open Foundation Models for Language Agents☆549Updated last year
- Code for Quiet-STaR☆732Updated 9 months ago
- The MATH Dataset (NeurIPS 2021)☆1,125Updated 10 months ago
- ☆534Updated last year
- ☆2,527Updated last year
- ☆4,506Updated 7 months ago
- Extracting spatial and temporal world models from LLMs☆255Updated last year
- ChatGPT plugin for theorem proving in Lean☆120Updated last year
- OmniFusion — a multimodal model to communicate using text and images☆230Updated last year
- Implementation of the training framework proposed in Self-Rewarding Language Model, from MetaAI☆1,387Updated last year
- ☆439Updated 10 months ago
- Reaching LLaMA2 Performance with 0.1M Dollars☆981Updated 10 months ago
- Code for fine-tuning Platypus fam LLMs using LoRA☆628Updated last year
- SOTA Math Opensource LLM☆332Updated last year
- LLMs as Copilots for Theorem Proving in Lean☆1,094Updated this week
- YaRN: Efficient Context Window Extension of Large Language Models☆1,495Updated last year
- Formal to Formal Mathematics Benchmark☆363Updated last year
- Official implementation of our NeurIPS 2023 paper "Augmenting Language Models with Long-Term Memory".☆795Updated last year