google-deepmind / alphageometryLinks
☆4,711Updated last week
Alternatives and similar repositories for alphageometry
Users that are interested in alphageometry are comparing it to the libraries listed below
Sorting:
- ☆970Updated last year
- LLMs as Copilots for Theorem Proving in Lean☆1,192Updated 3 weeks ago
- PyTorch code and models for V-JEPA self-supervised learning from video.☆3,309Updated 9 months ago
- ☆4,110Updated last year
- ☆1,091Updated last year
- DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models☆3,081Updated last year
- ☆2,551Updated last year
- The official PyTorch implementation of Google's Gemma models☆5,586Updated 6 months ago
- Implementation of the training framework proposed in Self-Rewarding Language Model, from MetaAI☆1,405Updated last year
- ☆723Updated 2 years ago
- Repository for Meta Chameleon, a mixed-modal early-fusion foundation model from FAIR.☆2,068Updated last year
- Official repo for "Mini-Gemini: Mining the Potential of Multi-modality Vision Language Models"☆3,327Updated last year
- Official repository of Evolutionary Optimization of Model Merging Recipes☆1,390Updated last year
- 800,000 step-level correctness labels on LLM solutions to MATH problems☆2,076Updated 2 years ago
- A JAX research toolkit for building, editing, and visualizing neural networks.☆1,830Updated 5 months ago
- Schedule-Free Optimization in PyTorch☆2,237Updated 6 months ago
- ToRA is a series of Tool-integrated Reasoning LLM Agents designed to solve challenging mathematical reasoning problems by interacting wit…☆1,107Updated last year
- Large World Model -- Modeling Text and Video with Millions Context☆7,379Updated last year
- Official Implementation of "Graph of Thoughts: Solving Elaborate Problems with Large Language Models"☆2,545Updated last year
- Implementation for MatMul-free LM.☆3,036Updated last week
- Code for BLT research paper☆2,017Updated last month
- Minimal, clean code for the Byte Pair Encoding (BPE) algorithm commonly used in LLM tokenization.☆10,206Updated last year
- Implementation of "BitNet: Scaling 1-bit Transformers for Large Language Models" in pytorch☆1,893Updated last month
- PyTorch native post-training library☆5,615Updated this week
- The PyTorch implementation of Generative Pre-trained Transformers (GPTs) using Kolmogorov-Arnold Networks (KANs) for language modeling☆725Updated last year
- Reaching LLaMA2 Performance with 0.1M Dollars☆988Updated last year
- ☆2,795Updated last year
- Simple and efficient pytorch-native transformer text generation in <1000 LOC of python.☆6,162Updated 3 months ago
- ☆1,057Updated last year
- Inference code for CodeLlama models☆16,367Updated last year