EleutherAI / math-lmLinks
☆1,085Updated 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,083Updated last year
- [NeurlPS D&B 2024] Generative AI for Math: MathPile☆415Updated 4 months ago
- Benchmarking long-form factuality in large language models. Original code for our paper "Long-form factuality in large language models".☆629Updated this week
- LLMs as Copilots for Theorem Proving in Lean☆1,144Updated 3 weeks ago
- A series of math-specific large language models of our Qwen2 series.☆982Updated 7 months ago
- Gemma 2B with 10M context length using Infini-attention.☆947Updated last year
- Tool for data extraction and interacting with Lean programmatically.☆692Updated last month
- ☆912Updated last year
- Implementation of the training framework proposed in Self-Rewarding Language Model, from MetaAI☆1,397Updated last year
- LLM Transparency Tool (LLM-TT), an open-source interactive toolkit for analyzing internal workings of Transformer-based language models. …☆826Updated 8 months ago
- ☆1,027Updated last year
- ☆462Updated last year
- Evaluation suite for LLMs☆356Updated last month
- Code and data for "MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning" [ICLR 2024]☆376Updated 11 months ago
- This repository contains code and tooling for the Abacus.AI LLM Context Expansion project. Also included are evaluation scripts and bench…☆591Updated last year
- Reaching LLaMA2 Performance with 0.1M Dollars☆990Updated last year
- The MATH Dataset (NeurIPS 2021)☆1,169Updated last year
- Official implementation of our NeurIPS 2023 paper "Augmenting Language Models with Long-Term Memory".☆805Updated last year
- [ICLR 2024] Lemur: Open Foundation Models for Language Agents☆555Updated last year
- Mamba-Chat: A chat LLM based on the state-space model architecture 🐍☆928Updated last year
- Generate textbook-quality synthetic LLM pretraining data☆503Updated last year
- Xwin-LM: Powerful, Stable, and Reproducible LLM Alignment☆1,042Updated last year
- [ACL2023] We introduce LLM-Blender, an innovative ensembling framework to attain consistently superior performance by leveraging the dive…☆957Updated 9 months ago
- OpenCodeInterpreter is a suite of open-source code generation systems aimed at bridging the gap between large language models and sophist…☆1,677Updated last year
- Official Pytorch repository for Extreme Compression of Large Language Models via Additive Quantization https://arxiv.org/pdf/2401.06118.p…☆1,282Updated last week
- ☆663Updated 9 months ago
- ☆760Updated last year
- Code for Quiet-STaR☆737Updated 11 months ago
- 800,000 step-level correctness labels on LLM solutions to MATH problems☆2,035Updated 2 years ago
- Code for fine-tuning Platypus fam LLMs using LoRA☆628Updated last year