google-deepmind / alphageometryLinks
☆4,579Updated last month
Alternatives and similar repositories for alphageometry
Users that are interested in alphageometry are comparing it to the libraries listed below
Sorting:
- ☆912Updated last year
- LLMs as Copilots for Theorem Proving in Lean☆1,144Updated 3 weeks ago
- ☆4,088Updated last year
- The official PyTorch implementation of Google's Gemma models☆5,521Updated 2 months ago
- Minimal, clean code for the Byte Pair Encoding (BPE) algorithm commonly used in LLM tokenization.☆9,806Updated last year
- PyTorch code and models for V-JEPA self-supervised learning from video.☆3,159Updated 5 months ago
- Gemma open-weight LLM library, from Google DeepMind☆3,595Updated this week
- NanoGPT (124M) in 3 minutes☆2,985Updated 3 weeks ago
- The math library of Lean 4☆2,238Updated this week
- Tool for data extraction and interacting with Lean programmatically.☆692Updated last month
- Simple and efficient pytorch-native transformer text generation in <1000 LOC of python.☆6,045Updated 4 months ago
- Schedule-Free Optimization in PyTorch☆2,201Updated 2 months ago
- LLM Transparency Tool (LLM-TT), an open-source interactive toolkit for analyzing internal workings of Transformer-based language models. …☆826Updated 8 months ago
- Official repository of Evolutionary Optimization of Model Merging Recipes☆1,354Updated 8 months ago
- ☆2,529Updated last year
- GaLore: Memory-Efficient LLM Training by Gradient Low-Rank Projection☆1,582Updated 9 months ago
- ☆716Updated 2 years ago
- A JAX research toolkit for building, editing, and visualizing neural networks.☆1,806Updated last month
- ☆3,903Updated last week
- PyTorch native post-training library☆5,399Updated this week
- Official repo for "Mini-Gemini: Mining the Potential of Multi-modality Vision Language Models"☆3,301Updated last year
- ☆1,085Updated last year
- Implementation of the training framework proposed in Self-Rewarding Language Model, from MetaAI☆1,397Updated last year
- AlphaFold 3 inference pipeline.☆6,838Updated this week
- Implementation of "BitNet: Scaling 1-bit Transformers for Large Language Models" in pytorch☆1,864Updated 3 weeks ago
- Reaching LLaMA2 Performance with 0.1M Dollars☆990Updated last year
- Run Mixtral-8x7B models in Colab or consumer desktops☆2,317Updated last year
- Implementation for MatMul-free LM.☆3,025Updated 3 weeks ago
- ToRA is a series of Tool-integrated Reasoning LLM Agents designed to solve challenging mathematical reasoning problems by interacting wit…☆1,083Updated last year
- Video+code lecture on building nanoGPT from scratch☆4,287Updated 11 months ago