Alternatives and similar repositories for golitex

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

• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆359Updated 7 months ago
• ByteDance-Seed / Seed-Prover
  ☆411Updated last month
• Goedel-LM / Goedel-Prover-V2
  ☆145Updated 5 months ago
• project-numina / kimina-lean-server
  Kimina Lean server (+ client SDK)
  ☆179Updated last month
• Goedel-LM / Goedel-Prover
  ☆224Updated 10 months ago
• okhat / blog
  ☆331Updated 4 months ago
• deepseek-ai / DeepSeek-V3.2-Exp
  ☆1,475Updated 2 months ago
• sail-sg / understand-r1-zero
  Understanding R1-Zero-Like Training: A Critical Perspective
  ☆1,205Updated 5 months ago
• teorth / estimates
  Code to automatically prove or verify estimates in analysis
  ☆326Updated 7 months ago
• SkyworkAI / Skywork-OR1
  Unleashing the Power of Reinforcement Learning for Math and Code Reasoners
  ☆741Updated 8 months ago
• kfdong / STP
  The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"
  ☆117Updated 10 months ago
• morph-labs / lean-abc-true-almost-always
  ☆83Updated 7 months ago
• tongjingqi / MathTrap
  In this work, we investigate the compositionality of large language models (LLMs) in mathematical reasoning. Specifically, we construct a…
  ☆61Updated 10 months ago
• trishullab / PutnamBench
  An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
  ☆212Updated last month
• zhaoyu-li / DL4TP
  [COLM 2024] A Survey on Deep Learning for Theorem Proving
  ☆216Updated 8 months ago
• yangky11 / miniF2F-lean4
  ☆68Updated 3 months ago
• lean-dojo / ReProver
  Retrieval-Augmented Theorem Provers for Lean
  ☆316Updated last year
• pengzhangzhi / Open-dLLM
  The most open diffusion language model for code generation — releasing pretraining, evaluation, inference, and checkpoints.
  ☆519Updated 3 months ago
• AgenticScience / Awesome-Agent-Scientists
  Paper list of agent for science
  ☆193Updated 3 weeks ago
• loganrjmurphy / LeanEuclid
  LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
  ☆124Updated 2 months ago
• VILA-Lab / Awesome-DLMs
  The official GitHub repo for the survey paper "A Survey on Diffusion Language Models".
  ☆755Updated last week
• lean-dojo / LeanDojo
  Tool for data extraction and interacting with Lean programmatically.
  ☆762Updated 3 weeks ago
• Newclid / Newclid
  Automatic solver for plane geometry problems.
  ☆86Updated 5 months ago
• apple / ml-simplefold
  ☆937Updated last month
• Miracle-Messi / Isa-AutoFormal
  ☆16Updated last year
• deepseek-ai / DeepSeek-Math-V2
  ☆1,543Updated 2 months ago
• project-numina / aimo-progress-prize
  ☆482Updated last year
• deepseek-ai / DeepSeek-Prover-V2
  ☆1,236Updated 6 months ago
• Veri-Code / ReForm
  ☆41Updated 6 months ago
• namin / llm-verified-with-monte-carlo-tree-search
  LLM verified with Monte Carlo Tree Search
  ☆284Updated 10 months ago