Alternatives and similar repositories for alphageometry

Users that are interested in alphageometry are comparing it to the libraries listed below

• lean-dojo / LeanCopilot
  LLMs as Copilots for Theorem Proving in Lean
  ☆1,108Updated 2 weeks ago
• google / gemma_pytorch
  The official PyTorch implementation of Google's Gemma models
  ☆5,484Updated 3 weeks ago
• allenai / OLMo
  Modeling, training, eval, and inference code for OLMo
  ☆5,702Updated last week
• openai / transformer-debugger
  ☆4,088Updated last year
• EleutherAI / math-lm
  ☆1,084Updated last year
• openai / weak-to-strong
  ☆2,527Updated last year
• arcee-ai / mergekit
  Tools for merging pretrained large language models.
  ☆5,853Updated last week
• huggingface / trl
  Train transformer language models with reinforcement learning.
  ☆14,281Updated last week
• facebookresearch / jepa
  PyTorch code and models for V-JEPA self-supervised learning from video.
  ☆3,102Updated 4 months ago
• google-deepmind / funsearch
  ☆887Updated last year
• facebookresearch / ijepa
  Official codebase for I-JEPA, the Image-based Joint-Embedding Predictive Architecture. First outlined in the CVPR paper, "Self-supervised…
  ☆2,998Updated last year
• volcengine / verl
  verl: Volcano Engine Reinforcement Learning for LLMs
  ☆9,958Updated this week
• pytorch / torchtune
  PyTorch native post-training library
  ☆5,287Updated this week
• karpathy / minbpe
  Minimal, clean code for the Byte Pair Encoding (BPE) algorithm commonly used in LLM tokenization.
  ☆9,717Updated 11 months ago
• allenai / open-instruct
  AllenAI's post-training codebase
  ☆3,028Updated this week
• mlfoundations / dclm
  DataComp for Language Models
  ☆1,315Updated 3 months ago
• Jiayi-Pan / TinyZero
  Minimal reproduction of DeepSeek R1-Zero
  ☆11,926Updated 2 months ago
• google-deepmind / alphatensor
  ☆2,760Updated last year
• policy-gradient / GRPO-Zero
  Implementing DeepSeek R1's GRPO algorithm from scratch
  ☆1,438Updated 2 months ago
• NovaSky-AI / SkyThought
  Sky-T1: Train your own O1 preview model within $450
  ☆3,272Updated last month
• karpathy / ng-video-lecture
  ☆4,021Updated last year
• pytorch-labs / gpt-fast
  Simple and efficient pytorch-native transformer text generation in <1000 LOC of python.
  ☆5,998Updated 2 months ago
• mistralai / mistral-inference
  Official inference library for Mistral models
  ☆10,307Updated 3 months ago
• jaymody / picoGPT
  An unnecessarily tiny implementation of GPT-2 in NumPy.
  ☆3,371Updated 2 years ago
• haotian-liu / LLaVA
  [NeurIPS'23 Oral] Visual Instruction Tuning (LLaVA) built towards GPT-4V level capabilities and beyond.
  ☆22,883Updated 10 months ago
• huggingface / alignment-handbook
  Robust recipes to align language models with human and AI preferences
  ☆5,235Updated last month
• EleutherAI / pythia
  The hub for EleutherAI's work on interpretability and learning dynamics
  ☆2,547Updated 2 weeks ago
• Codium-ai / AlphaCodium
  Official implementation for the paper: "Code Generation with AlphaCodium: From Prompt Engineering to Flow Engineering""
  ☆3,849Updated 7 months ago
• young-geng / EasyLM
  Large language models (LLMs) made easy, EasyLM is a one stop solution for pre-training, finetuning, evaluating and serving LLMs in JAX/Fl…
  ☆2,479Updated 10 months ago
• KellerJordan / modded-nanogpt
  NanoGPT (124M) in 3 minutes
  ☆2,699Updated last week