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

• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆63Updated 4 months ago
• facebookresearch / miniF2F
  An updated version of miniF2F with lots of fixes and informal statements / solutions.
  ☆83Updated 4 months ago
• lean-dojo / ReProver
  Retrieval-Augmented Theorem Provers for Lean
  ☆272Updated 3 months ago
• Goedel-LM / Goedel-Prover
  ☆176Updated last month
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆149Updated last month
• Purewhite2019 / formal_problem_solving_main
  Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"
  ☆19Updated last week
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆279Updated last week
• teorth / expdb
  Exponent pair database
  ☆50Updated this week
• wellecks / llmstep
  llmstep: [L]LM proofstep suggestions in Lean 4.
  ☆133Updated last year
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆328Updated this week
• trishullab / PutnamBench
  An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
  ☆118Updated last month
• VITA-Group / WeLore
  From GaLore to WeLore: How Low-Rank Weights Non-uniformly Emerge from Low-Rank Gradients. Ajay Jaiswal, Lu Yin, Zhenyu Zhang, Shiwei Liu,…
  ☆47Updated 3 weeks ago
• sustcsonglin / linear-attention-and-beyond-slides
  ☆70Updated 2 months ago
• Sphere-AI-Lab / FormalMATH-Bench
  ☆47Updated last week
• social-anthrax / IADS_algorithms
  A collection of algorithms and datastructures introduced during UoE's Introduction to Datastructures and Algorithms class.
  ☆22Updated 3 years ago
• leanprover-community / aesop
  White-box automation for Lean 4
  ☆269Updated this week
• Lagooon / LeanSTaR
  ☆43Updated 7 months ago
• eth-sri / matharena
  Evaluation of LLMs on latest math competitions
  ☆119Updated this week
• cmu-l3 / neurips2024-inference-tutorial-code
  NeurIPS 2024 tutorial on LLM Inference
  ☆43Updated 5 months ago
• dwrensha / compfiles
  Catalog Of Math Problems Formalized In Lean
  ☆154Updated this week
• tanyuqian / redco
  NAACL '24 (Best Demo Paper RunnerUp) / MlSys @ NeurIPS '23 - RedCoast: A Lightweight Tool to Automate Distributed Training and Inference
  ☆65Updated 5 months ago
• cloneofsimo / ptx-tutorial-by-aislop
  PTX-Tutorial Written Purely By AIs (Deep Research of Openai and Claude 3.7)
  ☆67Updated last month
• zhangir-azerbayev / ProofNet
  Benchmark for undergraduate-level formal mathematics
  ☆107Updated 7 months ago
• yangky11 / miniF2F-lean4
  ☆54Updated last week
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆86Updated 3 years ago
• kuterd / opal_ptx
  Experimental GPU language with meta-programming
  ☆22Updated 8 months ago
• wellecks / ntptutorial
  Tutorial on neural theorem proving
  ☆174Updated last year
• gpu-mode / discord-cluster-manager
  Write a fast kernel and run it on Discord. See how you compare against the best!
  ☆44Updated this week
• loganrjmurphy / LeanEuclid
  LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
  ☆99Updated 2 weeks ago
• RickySkywalker / TheoremLlama
  This is the official repository for all the code of TheoremLlama
  ☆42Updated 7 months ago