EleutherAI / math-lm
☆1,072Updated 10 months ago
Alternatives and similar repositories for math-lm:
Users that are interested in math-lm are comparing it to the libraries listed below
- Tool for data extraction and interacting with Lean programmatically.☆605Updated 3 weeks ago
- Code and data for "MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning" (ICLR 2024)☆358Updated 5 months ago
- Gemma 2B with 10M context length using Infini-attention.☆959Updated 8 months ago
- LLMs as Copilots for Theorem Proving in Lean☆1,023Updated 2 weeks ago
- Official Pytorch repository for Extreme Compression of Large Language Models via Additive Quantization https://arxiv.org/pdf/2401.06118.p…☆1,210Updated last month
- Benchmarking long-form factuality in large language models. Original code for our paper "Long-form factuality in large language models".☆573Updated last month
- Reaching LLaMA2 Performance with 0.1M Dollars☆967Updated 6 months ago
- ToRA is a series of Tool-integrated Reasoning LLM Agents designed to solve challenging mathematical reasoning problems by interacting wit…☆1,014Updated 11 months ago
- [NeurlPS D&B 2024] Generative AI for Math: MathPile☆405Updated 3 months ago
- Retrieval-Augmented Theorem Provers for Lean☆245Updated 5 months ago
- Implementation of the training framework proposed in Self-Rewarding Language Model, from MetaAI☆1,359Updated 9 months ago
- 800,000 step-level correctness labels on LLM solutions to MATH problems☆1,845Updated last year
- A toolkit for inference and evaluation of 'mixtral-8x7b-32kseqlen' from Mistral AI☆766Updated last year
- [ICLR 2024] Lemur: Open Foundation Models for Language Agents☆540Updated last year
- Code for fine-tuning Platypus fam LLMs using LoRA☆626Updated 11 months ago
- YaRN: Efficient Context Window Extension of Large Language Models☆1,405Updated 9 months ago
- Family of LLMs for mathematical reasoning.☆245Updated last month
- A simulation framework for RLHF and alternatives. Develop your RLHF method without collecting human data.☆792Updated 6 months ago
- OpenCodeInterpreter is a suite of open-source code generation systems aimed at bridging the gap between large language models and sophist…☆1,627Updated 8 months ago
- ☆1,165Updated last year
- Official Implementation of "Graph of Thoughts: Solving Elaborate Problems with Large Language Models"☆2,258Updated last month
- [ICML 2024] Official repository for "Language Agent Tree Search Unifies Reasoning Acting and Planning in Language Models"☆724Updated 6 months ago
- Challenging BIG-Bench Tasks and Whether Chain-of-Thought Can Solve Them☆454Updated 7 months ago
- A series of math-specific large language models of our Qwen2 series.☆735Updated 2 weeks ago
- LongLLaMA is a large language model capable of handling long contexts. It is based on OpenLLaMA and fine-tuned with the Focused Transform…☆1,448Updated last year
- The MATH Dataset (NeurIPS 2021)☆1,001Updated 5 months ago
- Dromedary: towards helpful, ethical and reliable LLMs.☆1,133Updated last year
- An automatic evaluator for instruction-following language models. Human-validated, high-quality, cheap, and fast.☆1,625Updated last month
- MathVista: data, code, and evaluation for Mathematical Reasoning in Visual Contexts☆267Updated 2 months ago
- ☆859Updated last year