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,112Updated last year
- A series of math-specific large language models of our Qwen2 series.☆1,060Updated last year
- Gemma 2B with 10M context length using Infini-attention.☆937Updated last year
- OpenCodeInterpreter is a suite of open-source code generation systems aimed at bridging the gap between large language models and sophist…☆1,698Updated last year
- [NeurlPS D&B 2024] Generative AI for Math: MathPile☆419Updated 9 months ago
- LLMs as Copilots for Theorem Proving in Lean☆1,215Updated 2 weeks ago
- Benchmarking long-form factuality in large language models. Original code for our paper "Long-form factuality in large language models".☆665Updated this week
- Implementation of the training framework proposed in Self-Rewarding Language Model, from MetaAI☆1,407Updated last year
- This repository contains code and tooling for the Abacus.AI LLM Context Expansion project. Also included are evaluation scripts and bench…☆598Updated 2 years ago
- Tool for data extraction and interacting with Lean programmatically.☆756Updated last week
- Implementation of plug in and play Attention from "LongNet: Scaling Transformers to 1,000,000,000 Tokens"☆714Updated 2 years ago
- [ICLR 2024] Lemur: Open Foundation Models for Language Agents☆555Updated 2 years ago
- Reaching LLaMA2 Performance with 0.1M Dollars☆986Updated last year
- Code and data for "MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning" [ICLR 2024]☆382Updated last year
- ☆671Updated last year
- ☆481Updated last year
- Official implementation of our NeurIPS 2023 paper "Augmenting Language Models with Long-Term Memory".☆821Updated last year
- ☆1,066Updated last year
- Code for fine-tuning Platypus fam LLMs using LoRA☆630Updated last year
- ☆994Updated last year
- Xwin-LM: Powerful, Stable, and Reproducible LLM Alignment☆1,039Updated last year
- Salesforce open-source LLMs with 8k sequence length.☆723Updated 11 months ago
- PaL: Program-Aided Language Models (ICML 2023)☆517Updated 2 years ago
- [NeurIPS 22] [AAAI 24] Recurrent Transformer-based long-context architecture.☆776Updated last year
- 800,000 step-level correctness labels on LLM solutions to MATH problems☆2,083Updated 2 years ago
- ☆416Updated 2 years ago
- Dromedary: towards helpful, ethical and reliable LLMs.☆1,144Updated 4 months ago
- ☆1,055Updated 2 years ago
- Code for Quiet-STaR☆742Updated last year
- [MathCoder, MathCoder-VL] Family of LLMs/LMMs for mathematical reasoning.☆337Updated 3 months ago