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.
  ☆347Updated 5 months ago
• ByteDance-Seed / Seed-Prover
  ☆320Updated 3 months ago
• okhat / blog
  ☆323Updated 3 months ago
• BEAM-Labs / DLTutorial
  新学生深度学习入门
  ☆19Updated 2 months ago
• SkyworkAI / Skywork-OR1
  Unleashing the Power of Reinforcement Learning for Math and Code Reasoners
  ☆734Updated 6 months ago
• Goedel-LM / Goedel-Prover-V2
  ☆133Updated 3 months ago
• sail-sg / understand-r1-zero
  Understanding R1-Zero-Like Training: A Critical Perspective
  ☆1,173Updated 3 months ago
• j991222 / ai4math-papers
  AI for Mathematics (AI4Math) paper list
  ☆186Updated last year
• zhaoyu-li / DL4TP
  [COLM 2024] A Survey on Deep Learning for Theorem Proving
  ☆211Updated 6 months ago
• VILA-Lab / Awesome-DLMs
  The official GitHub repo for the survey paper "A Survey on Diffusion Language Models".
  ☆552Updated 3 weeks ago
• morph-labs / lean-abc-true-almost-always
  ☆82Updated 6 months ago
• teorth / estimates
  Code to automatically prove or verify estimates in analysis
  ☆319Updated 5 months ago
• Goedel-LM / Goedel-Prover
  ☆220Updated 8 months ago
• kfdong / STP
  The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"
  ☆115Updated 8 months ago
• AgenticScience / Awesome-Agent-Scientists
  Paper list of agent for science
  ☆173Updated last week
• xqyww123 / Isa-Mini
  A minimal language for Isabelle/HOL, designed for easing machine learning.
  ☆24Updated last month
• trishullab / PutnamBench
  An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
  ☆187Updated last week
• pengzhangzhi / Open-dLLM
  The most open diffusion language model for code generation — releasing pretraining, evaluation, inference, and checkpoints.
  ☆479Updated last month
• project-numina / aimo-progress-prize
  ☆477Updated last year
• tongjingqi / MathTrap
  In this work, we investigate the compositionality of large language models (LLMs) in mathematical reasoning. Specifically, we construct a…
  ☆61Updated 9 months ago
• project-numina / kimina-lean-server
  Kimina Lean server (+ client SDK)
  ☆149Updated last week
• loganrjmurphy / LeanEuclid
  LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
  ☆116Updated 3 weeks ago
• apple / ml-simplefold
  ☆916Updated last month
• lean-dojo / ReProver
  Retrieval-Augmented Theorem Provers for Lean
  ☆309Updated 10 months ago
• yangky11 / miniF2F-lean4
  ☆66Updated last month
• xinhjBrant / APE-Bench_I
  ☆20Updated 6 months ago
• LAMDASZ-ML / Awesome-LLM-Reasoning-with-NeSy
  ✨✨Latest Advances on Neuro-Symbolic Learning in the era of Large Language Models
  ☆226Updated 5 months ago
• Miracle-Messi / Isa-AutoFormal
  ☆15Updated last year
• deepseek-ai / DeepSeek-V3.2-Exp
  ☆1,367Updated last month
• langfengQ / verl-agent
  verl-agent is an extension of veRL, designed for training LLM/VLM agents via RL. verl-agent is also the official code for paper "Group-in…
  ☆1,272Updated this week