EleutherAI / math-lmLinks
☆1,093Updated 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,109Updated last year
- Gemma 2B with 10M context length using Infini-attention.☆939Updated last year
- A series of math-specific large language models of our Qwen2 series.☆1,058Updated 11 months ago
- [NeurlPS D&B 2024] Generative AI for Math: MathPile☆419Updated 9 months ago
- Implementation of the training framework proposed in Self-Rewarding Language Model, from MetaAI☆1,406Updated last year
- LLMs as Copilots for Theorem Proving in Lean☆1,197Updated 2 weeks ago
- 800,000 step-level correctness labels on LLM solutions to MATH problems☆2,082Updated 2 years ago
- Code and data for "MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning" [ICLR 2024]☆377Updated last year
- Tool for data extraction and interacting with Lean programmatically.☆744Updated this week
- The MATH Dataset (NeurIPS 2021)☆1,278Updated 3 months ago
- Benchmarking long-form factuality in large language models. Original code for our paper "Long-form factuality in large language models".☆662Updated 2 weeks ago
- [ICLR 2024] Lemur: Open Foundation Models for Language Agents☆555Updated 2 years ago
- ☆984Updated last year
- ☆477Updated last year
- Xwin-LM: Powerful, Stable, and Reproducible LLM Alignment☆1,043Updated 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
- PaL: Program-Aided Language Models (ICML 2023)☆518Updated 2 years ago
- ☆672Updated last year
- ☆1,377Updated last year
- ☆1,061Updated last year
- Reaching LLaMA2 Performance with 0.1M Dollars☆988Updated last year
- Salesforce open-source LLMs with 8k sequence length.☆723Updated 11 months ago
- [NeurIPS 22] [AAAI 24] Recurrent Transformer-based long-context architecture.☆775Updated last year
- Formal to Formal Mathematics Benchmark☆409Updated 2 years ago
- [ACL2023] We introduce LLM-Blender, an innovative ensembling framework to attain consistently superior performance by leveraging the dive…☆974Updated last year
- Code for fine-tuning Platypus fam LLMs using LoRA☆631Updated last year
- Retrieval-Augmented Theorem Provers for Lean☆314Updated 11 months ago
- Ongoing research training transformer models at scale☆394Updated last year
- Official implementation of our NeurIPS 2023 paper "Augmenting Language Models with Long-Term Memory".☆821Updated last year
- State-of-the-art bilingual open-sourced Math reasoning LLMs.☆530Updated last year