EleutherAI / math-lmLinks
☆1,084Updated 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:
- ToRA is a series of Tool-integrated Reasoning LLM Agents designed to solve challenging mathematical reasoning problems by interacting wit…☆1,077Updated last year
- Tool for data extraction and interacting with Lean programmatically.☆678Updated last month
- LLMs as Copilots for Theorem Proving in Lean☆1,125Updated this week
- Gemma 2B with 10M context length using Infini-attention.☆947Updated last year
- A series of math-specific large language models of our Qwen2 series.☆965Updated 6 months ago
- The MATH Dataset (NeurIPS 2021)☆1,152Updated 11 months ago
- OpenCodeInterpreter is a suite of open-source code generation systems aimed at bridging the gap between large language models and sophist…☆1,668Updated last year
- Official Pytorch repository for Extreme Compression of Large Language Models via Additive Quantization https://arxiv.org/pdf/2401.06118.p…☆1,271Updated 2 months ago
- Implementation of the training framework proposed in Self-Rewarding Language Model, from MetaAI☆1,394Updated last year
- [NeurlPS D&B 2024] Generative AI for Math: MathPile☆414Updated 3 months ago
- Benchmarking long-form factuality in large language models. Original code for our paper "Long-form factuality in large language models".☆622Updated this week
- ☆1,025Updated last year
- Xwin-LM: Powerful, Stable, and Reproducible LLM Alignment☆1,040Updated last year
- Reaching LLaMA2 Performance with 0.1M Dollars☆984Updated 11 months ago
- Retrieval-Augmented Theorem Provers for Lean☆281Updated 5 months ago
- Implementation of plug in and play Attention from "LongNet: Scaling Transformers to 1,000,000,000 Tokens"☆706Updated last year
- ☆456Updated 11 months ago
- Evaluation suite for LLMs☆353Updated last week
- ☆660Updated 8 months ago
- 800,000 step-level correctness labels on LLM solutions to MATH problems☆2,026Updated 2 years ago
- [ICLR 2024] Lemur: Open Foundation Models for Language Agents☆551Updated last year
- ☆899Updated last year
- LongLLaMA is a large language model capable of handling long contexts. It is based on OpenLLaMA and fine-tuned with the Focused Transform…☆1,459Updated last year
- LLM Transparency Tool (LLM-TT), an open-source interactive toolkit for analyzing internal workings of Transformer-based language models. …☆827Updated 7 months ago
- PaL: Program-Aided Language Models (ICML 2023)☆502Updated 2 years ago
- Official implementation of our NeurIPS 2023 paper "Augmenting Language Models with Long-Term Memory".☆801Updated last year
- Code and data for "MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning" [ICLR 2024]☆376Updated 10 months ago
- [ACL2023] We introduce LLM-Blender, an innovative ensembling framework to attain consistently superior performance by leveraging the dive…☆951Updated 8 months ago
- ChatGPT plugin for theorem proving in Lean☆122Updated last year
- Public repo for the NeurIPS 2023 paper "Unlimiformer: Long-Range Transformers with Unlimited Length Input"☆1,062Updated last year