EleutherAI / math-lmLinks
☆1,095Updated 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,113Updated last year
- Gemma 2B with 10M context length using Infini-attention.☆935Updated last year
- LLMs as Copilots for Theorem Proving in Lean☆1,220Updated last month
- Benchmarking long-form factuality in large language models. Original code for our paper "Long-form factuality in large language models".☆665Updated this week
- A series of math-specific large language models of our Qwen2 series.☆1,063Updated last year
- [NeurlPS D&B 2024] Generative AI for Math: MathPile☆419Updated 10 months ago
- OpenCodeInterpreter is a suite of open-source code generation systems aimed at bridging the gap between large language models and sophist…☆1,703Updated last year
- Tool for data extraction and interacting with Lean programmatically.☆758Updated 3 weeks ago
- Code and data for "MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning" [ICLR 2024]☆383Updated last year
- Implementation of the training framework proposed in Self-Rewarding Language Model, from MetaAI☆1,407Updated last year
- ☆481Updated last year
- ☆671Updated last year
- Xwin-LM: Powerful, Stable, and Reproducible LLM Alignment☆1,038Updated last year
- ☆1,069Updated last year
- 800,000 step-level correctness labels on LLM solutions to MATH problems☆2,087Updated 2 years ago
- Dromedary: towards helpful, ethical and reliable LLMs.☆1,143Updated 4 months ago
- [ICLR 2024] Lemur: Open Foundation Models for Language Agents☆556Updated 2 years ago
- Code for Quiet-STaR☆740Updated last year
- Implementation of plug in and play Attention from "LongNet: Scaling Transformers to 1,000,000,000 Tokens"☆714Updated 2 years ago
- Evaluation suite for LLMs☆378Updated 6 months ago
- [NeurIPS 22] [AAAI 24] Recurrent Transformer-based long-context architecture.☆775Updated last year
- Reaching LLaMA2 Performance with 0.1M Dollars☆987Updated last year
- Official implementation of our NeurIPS 2023 paper "Augmenting Language Models with Long-Term Memory".☆823Updated last year
- Mass-editing thousands of facts into a transformer memory (ICLR 2023)☆535Updated 2 years ago
- [ACL2023] We introduce LLM-Blender, an innovative ensembling framework to attain consistently superior performance by leveraging the dive…☆976Updated last year
- PaL: Program-Aided Language Models (ICML 2023)☆517Updated 2 years ago
- The official implementation of Self-Play Fine-Tuning (SPIN)☆1,231Updated last year
- This repository contains code and tooling for the Abacus.AI LLM Context Expansion project. Also included are evaluation scripts and bench…☆599Updated 2 years ago
- 🐙 OctoPack: Instruction Tuning Code Large Language Models☆479Updated last year
- Stanford NLP Python library for understanding and improving PyTorch models via interventions☆857Updated last week