☆4,781Jan 13, 2026Updated last month
Alternatives and similar repositories for alphageometry
Users that are interested in alphageometry are comparing it to the libraries listed below
Sorting:
- Official implementation for the paper: "Code Generation with AlphaCodium: From Prompt Engineering to Flow Engineering""☆3,921Nov 25, 2024Updated last year
- Large World Model -- Modeling Text and Video with Millions Context☆7,399Oct 19, 2024Updated last year
- Fast and memory-efficient exact attention☆22,361Updated this week
- Official inference library for Mistral models☆10,683Nov 21, 2025Updated 3 months ago
- Modeling, training, eval, and inference code for OLMo☆6,326Nov 24, 2025Updated 3 months ago
- Tool for data extraction and interacting with Lean programmatically.☆764Jan 18, 2026Updated last month
- Mamba SSM architecture☆17,257Feb 18, 2026Updated last week
- Train transformer language models with reinforcement learning.☆17,460Updated this week
- Minimal, clean code for the Byte Pair Encoding (BPE) algorithm commonly used in LLM tokenization.☆10,329Jul 1, 2024Updated last year
- ☆2,549May 19, 2024Updated last year
- [NeurIPS'23 Oral] Visual Instruction Tuning (LLaVA) built towards GPT-4V level capabilities and beyond.☆24,478Aug 12, 2024Updated last year
- Simple and efficient pytorch-native transformer text generation in <1000 LOC of python.☆6,184Aug 22, 2025Updated 6 months ago
- Tools for merging pretrained large language models.☆6,814Jan 26, 2026Updated last month
- 800,000 step-level correctness labels on LLM solutions to MATH problems☆2,091Jun 1, 2023Updated 2 years ago
- ☆1,007Feb 5, 2024Updated 2 years ago
- A high-throughput and memory-efficient inference and serving engine for LLMs☆71,234Updated this week
- DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models☆3,164Apr 15, 2024Updated last year
- Large-scale Self-supervised Pre-training Across Tasks, Languages, and Modalities☆22,033Jan 23, 2026Updated last month
- LLM training in simple, raw C/CUDA☆28,940Jun 26, 2025Updated 8 months ago
- ToRA is a series of Tool-integrated Reasoning LLM Agents designed to solve challenging mathematical reasoning problems by interacting wit…☆1,113Feb 22, 2024Updated 2 years ago
- ☆4,110Jun 4, 2024Updated last year
- The simplest, fastest repository for training/finetuning medium-sized GPTs.☆53,743Nov 12, 2025Updated 3 months ago
- [ICLR 2024] Efficient Streaming Language Models with Attention Sinks☆7,187Jul 11, 2024Updated last year
- DeepSpeed is a deep learning optimization library that makes distributed training and inference easy, efficient, and effective.☆41,648Updated this week
- RWKV (pronounced RwaKuv) is an RNN with great LLM performance, which can also be directly trained like a GPT transformer (parallelizable)…☆14,375Feb 21, 2026Updated last week
- LLMs as Copilots for Theorem Proving in Lean☆1,225Feb 17, 2026Updated last week
- DSPy: The framework for programming—not prompting—language models☆32,381Updated this week
- Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more☆34,940Updated this week
- Welcome to the Llama Cookbook! This is your go to guide for Building with Llama: Getting started with Inference, Fine-Tuning, RAG. We als…☆18,220Nov 3, 2025Updated 3 months ago
- ☆1,095Mar 12, 2024Updated last year
- Open source code for AlphaFold 2.☆14,290Jan 15, 2026Updated last month
- Development repository for the Triton language and compiler☆18,460Feb 22, 2026Updated last week
- Inference code for CodeLlama models☆16,346Aug 12, 2024Updated last year
- Inference code for Llama models☆59,166Jan 26, 2025Updated last year
- [NeurlPS D&B 2024] Generative AI for Math: MathPile☆418Apr 4, 2025Updated 10 months ago
- The TinyLlama project is an open endeavor to pretrain a 1.1B Llama model on 3 trillion tokens.☆8,891May 3, 2024Updated last year
- Robust recipes to align language models with human and AI preferences☆5,506Sep 8, 2025Updated 5 months ago
- LLMs build upon Evol Insturct: WizardLM, WizardCoder, WizardMath☆9,476Jun 7, 2025Updated 8 months ago
- SGLang is a high-performance serving framework for large language models and multimodal models.☆23,658Updated this week