google-deepmind / alphageometryLinks
☆4,765Updated 3 weeks ago
Alternatives and similar repositories for alphageometry
Users that are interested in alphageometry are comparing it to the libraries listed below
Sorting:
- ☆2,547Updated last year
- ☆998Updated 2 years ago
- LLMs as Copilots for Theorem Proving in Lean☆1,218Updated 3 weeks ago
- Simple and efficient pytorch-native transformer text generation in <1000 LOC of python.☆6,180Updated 5 months ago
- Minimal, clean code for the Byte Pair Encoding (BPE) algorithm commonly used in LLM tokenization.☆10,293Updated last year
- Modeling, training, eval, and inference code for OLMo☆6,299Updated 2 months ago
- Robust recipes to align language models with human and AI preferences☆5,489Updated 4 months ago
- Tool for data extraction and interacting with Lean programmatically.☆758Updated 2 weeks ago
- The official PyTorch implementation of Google's Gemma models☆5,601Updated 8 months ago
- DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models☆3,148Updated last year
- ☆4,113Updated last year
- PyTorch code and models for V-JEPA self-supervised learning from video.☆3,499Updated 11 months ago
- Code for BLT research paper☆2,027Updated 3 months ago
- PyTorch native post-training library☆5,660Updated this week
- Large World Model -- Modeling Text and Video with Millions Context☆7,393Updated last year
- A PyTorch native platform for training generative AI models☆5,023Updated this week
- ☆727Updated 2 years ago
- NanoGPT (124M) in 2 minutes☆4,515Updated last week
- Implementation of the training framework proposed in Self-Rewarding Language Model, from MetaAI☆1,407Updated last year
- AllenAI's post-training codebase☆3,562Updated this week
- ☆1,095Updated last year
- A Production-ready Reinforcement Learning AI Agent Library brought by the Applied Reinforcement Learning team at Meta.☆2,975Updated 3 weeks ago
- A JAX research toolkit for building, editing, and visualizing neural networks.☆1,860Updated 7 months ago
- Video+code lecture on building nanoGPT from scratch☆4,707Updated last year
- Open-source implementation of AlphaEvolve☆5,263Updated last week
- 800,000 step-level correctness labels on LLM solutions to MATH problems☆2,087Updated 2 years ago
- [ICLR 2024] Efficient Streaming Language Models with Attention Sinks☆7,182Updated last year
- Implementation of Nougat Neural Optical Understanding for Academic Documents☆9,818Updated 11 months ago
- Implementing DeepSeek R1's GRPO algorithm from scratch☆1,759Updated 9 months ago
- Run Mixtral-8x7B models in Colab or consumer desktops☆2,325Updated last year