google-deepmind / alphageometryLinks
☆4,675Updated 4 months ago
Alternatives and similar repositories for alphageometry
Users that are interested in alphageometry are comparing it to the libraries listed below
Sorting:
- ☆945Updated last year
- ☆2,544Updated last year
- LLMs as Copilots for Theorem Proving in Lean☆1,172Updated 2 weeks ago
- PyTorch code and models for V-JEPA self-supervised learning from video.☆3,252Updated 8 months ago
- The official PyTorch implementation of Google's Gemma models☆5,565Updated 5 months ago
- Gemma open-weight LLM library, from Google DeepMind☆3,789Updated this week
- Simple and efficient pytorch-native transformer text generation in <1000 LOC of python.☆6,135Updated 2 months ago
- Official codebase for I-JEPA, the Image-based Joint-Embedding Predictive Architecture. First outlined in the CVPR paper, "Self-supervised…☆3,099Updated last year
- A Production-ready Reinforcement Learning AI Agent Library brought by the Applied Reinforcement Learning team at Meta.☆2,948Updated 3 weeks ago
- ☆4,101Updated last year
- Large World Model -- Modeling Text and Video with Millions Context☆7,363Updated last year
- Implementation for MatMul-free LM.☆3,034Updated 3 months ago
- Modeling, training, eval, and inference code for OLMo☆6,055Updated last week
- A JAX research toolkit for building, editing, and visualizing neural networks.☆1,824Updated 4 months ago
- Run Mixtral-8x7B models in Colab or consumer desktops☆2,327Updated last year
- Official inference library for Mistral models☆10,521Updated 7 months ago
- Tool for data extraction and interacting with Lean programmatically.☆716Updated last month
- Reaching LLaMA2 Performance with 0.1M Dollars☆986Updated last year
- Implementation of the training framework proposed in Self-Rewarding Language Model, from MetaAI☆1,398Updated last year
- PyTorch native post-training library☆5,564Updated this week
- ☆1,090Updated last year
- Official implementation for the paper: "Code Generation with AlphaCodium: From Prompt Engineering to Flow Engineering""☆3,897Updated 11 months ago
- The math library of Lean 4☆2,471Updated this week
- ToRA is a series of Tool-integrated Reasoning LLM Agents designed to solve challenging mathematical reasoning problems by interacting wit…☆1,101Updated last year
- Implementation of Nougat Neural Optical Understanding for Academic Documents☆9,689Updated 8 months ago
- TinyGPT-V: Efficient Multimodal Large Language Model via Small Backbones☆1,300Updated last year
- Meta Lingua: a lean, efficient, and easy-to-hack codebase to research LLMs.☆4,731Updated 3 months ago
- Video+code lecture on building nanoGPT from scratch☆4,506Updated last year
- NanoGPT (124M) in 3 minutes☆3,694Updated 2 weeks ago
- Official repo for "Mini-Gemini: Mining the Potential of Multi-modality Vision Language Models"☆3,323Updated last year