EleutherAI / math-lm
☆1,081Updated 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:
- Official Pytorch repository for Extreme Compression of Large Language Models via Additive Quantization https://arxiv.org/pdf/2401.06118.p…☆1,254Updated last week
- OmniFusion — a multimodal model to communicate using text and images☆229Updated last year
- ToRA is a series of Tool-integrated Reasoning LLM Agents designed to solve challenging mathematical reasoning problems by interacting wit…☆1,067Updated last year
- Benchmarking long-form factuality in large language models. Original code for our paper "Long-form factuality in large language models".☆607Updated 2 weeks ago
- Gemma 2B with 10M context length using Infini-attention.☆949Updated last year
- A series of math-specific large language models of our Qwen2 series.☆927Updated 4 months ago
- Tool for data extraction and interacting with Lean programmatically.☆664Updated last week
- 800,000 step-level correctness labels on LLM solutions to MATH problems☆1,995Updated last year
- [NeurlPS D&B 2024] Generative AI for Math: MathPile☆412Updated last month
- ☆433Updated 9 months ago
- Implementation of the training framework proposed in Self-Rewarding Language Model, from MetaAI☆1,381Updated last year
- YaFSDP: Yet another Fully Sharded Data Parallel☆964Updated this week
- LLMs as Copilots for Theorem Proving in Lean☆1,091Updated this week
- [ICML 2024] Break the Sequential Dependency of LLM Inference Using Lookahead Decoding☆1,248Updated 2 months ago
- ☆413Updated last year
- Inference code for Persimmon-8B☆415Updated last year
- Reference implementation of Megalodon 7B model☆520Updated last year
- Code for fine-tuning Platypus fam LLMs using LoRA☆629Updated last year
- Official implementation of the paper "Linear Transformers with Learnable Kernel Functions are Better In-Context Models"☆159Updated 4 months ago
- Code and data for "MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning" [ICLR 2024]☆370Updated 8 months ago
- Beyond Language Models: Byte Models are Digital World Simulators☆324Updated 11 months ago
- This repository contains code and tooling for the Abacus.AI LLM Context Expansion project. Also included are evaluation scripts and bench…☆587Updated last year
- Retrieval-Augmented Theorem Provers for Lean☆272Updated 3 months ago
- ☆961Updated 3 months ago
- [ICLR 2024] Family of LLMs for mathematical reasoning.☆263Updated 5 months ago
- The official implementation of Self-Play Fine-Tuning (SPIN)☆1,152Updated last year
- LongLLaMA is a large language model capable of handling long contexts. It is based on OpenLLaMA and fine-tuned with the Focused Transform…☆1,457Updated last year
- ☆834Updated last year
- Reaching LLaMA2 Performance with 0.1M Dollars☆980Updated 9 months ago
- Website for hosting the Open Foundation Models Cheat Sheet.☆267Updated last week