Alternatives and similar repositories for edin-mls-25-spring

Users that are interested in edin-mls-25-spring are comparing it to the libraries listed below

• gpu-mode / ring-attention
  ring-attention experiments
  ☆161Updated last year
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆349Updated 6 months ago
• PiotrNawrot / sparse-frontier
  The evaluation framework for training-free sparse attention in LLMs
  ☆108Updated 3 months ago
• eth-sri / matharena
  Evaluation of LLMs on latest math competitions
  ☆212Updated 3 weeks ago
• AndreSlavescu / mHC.cu
  mHC kernels implemented in CUDA
  ☆196Updated last week
• gpu-mode / kernelbot
  Write a fast kernel and run it on Discord. See how you compare against the best!
  ☆66Updated this week
• facebookresearch / PhysicsLM4
  Physics of Language Models, Part 4
  ☆303Updated last week
• google-deepmind / formal-imo
  Lean formalizations of IMO problem statements
  ☆27Updated 2 months ago
• google-deepmind / alphaevolve_repository_of_problems
  ☆178Updated last month
• AxiomMath / Putnam2025
  Our solution to Putnam 2025.
  ☆36Updated this week
• cloneofsimo / ptx-tutorial-by-aislop
  PTX-Tutorial Written Purely By AIs (Deep Research of Openai and Claude 3.7)
  ☆66Updated 9 months ago
• ByteDance-Seed / Seed-Prover
  ☆395Updated 3 weeks ago
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆40Updated last year
• VITA-Group / WeLore
  [ICML 2025] From Low Rank Gradient Subspace Stabilization to Low-Rank Weights: Observations, Theories and Applications
  ☆52Updated 2 months ago
• Goedel-LM / Goedel-Prover
  ☆224Updated 9 months ago
• zaydzuhri / softpick-attention
  Landing repository for the paper "Softpick: No Attention Sink, No Massive Activations with Rectified Softmax"
  ☆86Updated 4 months ago
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆199Updated 3 months ago
• HazyResearch / train-tk
  train with kittens!
  ☆63Updated last year
• main-horse / hnet-old
  H-Net Dynamic Hierarchical Architecture
  ☆80Updated 4 months ago
• SakanaAI / DroPE
  Extending the Context of Pretrained LLMs by Dropping Their Positional Embedding
  ☆130Updated this week
• xjdr-alt / mla_blog_translation
  ☆13Updated last year
• Lagooon / LeanSTaR
  ☆42Updated last year
• Zyphra / tree_attention
  Tree Attention: Topology-aware Decoding for Long-Context Attention on GPU clusters
  ☆131Updated last year
• JacobPfau / fillerTokens
  ☆75Updated last year
• PiotrNawrot / nano-sparse-attention
  The simplest implementation of recent Sparse Attention patterns for efficient LLM inference.
  ☆90Updated 5 months ago
• tilde-research / MoMoE-impl
  Memory optimized Mixture of Experts
  ☆72Updated 5 months ago
• Goedel-LM / Goedel-Prover-V2
  ☆141Updated 4 months ago
• ScalingIntelligence / good-kernels
  Samples of good AI generated CUDA kernels
  ☆99Updated 7 months ago
• stepfun-ai / StepFun-Prover-Preview
  Large language models designed for formal theorem proving through tool-integrated reasoning.
  ☆31Updated 5 months ago
• kuterd / opal_ptx
  Experimental GPU language with meta-programming
  ☆24Updated last year