Alternatives and similar repositories for alphageometry

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

• google-deepmind / funsearch
  ☆994Updated last year
• deepseek-ai / DeepSeek-Math
  DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models
  ☆3,140Updated last year
• lean-dojo / LeanCopilot
  LLMs as Copilots for Theorem Proving in Lean
  ☆1,215Updated 2 weeks ago
• openai / weak-to-strong
  ☆2,545Updated last year
• LargeWorldModel / LWM
  Large World Model -- Modeling Text and Video with Millions Context
  ☆7,393Updated last year
• meta-pytorch / gpt-fast
  Simple and efficient pytorch-native transformer text generation in <1000 LOC of python.
  ☆6,181Updated 5 months ago
• openai / transformer-debugger
  ☆4,113Updated last year
• mistralai / mistral-inference
  Official inference library for Mistral models
  ☆10,628Updated 2 months ago
• deepseek-ai / DeepSeek-V2
  DeepSeek-V2: A Strong, Economical, and Efficient Mixture-of-Experts Language Model
  ☆4,989Updated last year
• google / gemma_pytorch
  The official PyTorch implementation of Google's Gemma models
  ☆5,601Updated 7 months ago
• mit-han-lab / streaming-llm
  [ICLR 2024] Efficient Streaming Language Models with Attention Sinks
  ☆7,172Updated last year
• microsoft / ToRA
  ToRA is a series of Tool-integrated Reasoning LLM Agents designed to solve challenging mathematical reasoning problems by interacting wit…
  ☆1,112Updated last year
• facebookresearch / jepa
  PyTorch code and models for V-JEPA self-supervised learning from video.
  ☆3,468Updated 10 months ago
• facebookresearch / ijepa
  Official codebase for I-JEPA, the Image-based Joint-Embedding Predictive Architecture. First outlined in the CVPR paper, "Self-supervised…
  ☆3,203Updated last year
• google-deepmind / alphadev
  ☆728Updated 2 years ago
• AdityaNG / kan-gpt
  The PyTorch implementation of Generative Pre-trained Transformers (GPTs) using Kolmogorov-Arnold Networks (KANs) for language modeling
  ☆724Updated last year
• karpathy / minbpe
  Minimal, clean code for the Byte Pair Encoding (BPE) algorithm commonly used in LLM tokenization.
  ☆10,272Updated last year
• ridgerchu / matmulfreellm
  Implementation for MatMul-free LM.
  ☆3,051Updated last month
• allenai / OLMo
  Modeling, training, eval, and inference code for OLMo
  ☆6,294Updated 2 months ago
• facebookresearch / Pearl
  A Production-ready Reinforcement Learning AI Agent Library brought by the Applied Reinforcement Learning team at Meta.
  ☆2,971Updated 2 weeks ago
• lucidrains / self-rewarding-lm-pytorch
  Implementation of the training framework proposed in Self-Rewarding Language Model, from MetaAI
  ☆1,407Updated last year
• openai / prm800k
  800,000 step-level correctness labels on LLM solutions to MATH problems
  ☆2,083Updated 2 years ago
• google-deepmind / gemma
  Gemma open-weight LLM library, from Google DeepMind
  ☆3,971Updated this week
• spcl / graph-of-thoughts
  Official Implementation of "Graph of Thoughts: Solving Elaborate Problems with Large Language Models"
  ☆2,586Updated last year
• Codium-ai / AlphaCodium
  Official implementation for the paper: "Code Generation with AlphaCodium: From Prompt Engineering to Flow Engineering""
  ☆3,922Updated last year
• karpathy / build-nanogpt
  Video+code lecture on building nanoGPT from scratch
  ☆4,695Updated last year
• ml-explore / mlx-examples
  Examples in the MLX framework
  ☆8,169Updated last month
• EleutherAI / math-lm
  ☆1,095Updated last year
• deepseek-ai / DeepSeek-Prover-V1.5
  ☆553Updated last year
• jiaweizzhao / GaLore
  GaLore: Memory-Efficient LLM Training by Gradient Low-Rank Projection
  ☆1,639Updated last year