Alternatives and similar repositories for Kimina-Prover-Preview:

Users that are interested in Kimina-Prover-Preview are comparing it to the libraries listed below

• Goedel-LM / Goedel-Prover
  ☆175Updated 3 weeks ago
• kfdong / STP
  The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"
  ☆73Updated 3 weeks ago
• yangky11 / miniF2F-lean4
  ☆50Updated 3 weeks ago
• sail-sg / oat-zero
  A lightweight reproduction of DeepSeek-R1-Zero with indepth analysis of self-reflection behavior.
  ☆229Updated last week
• hkust-nlp / dart-math
  [NeurIPS'24] Official code for *🎯DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving*
  ☆101Updated 4 months ago
• lean-dojo / ReProver
  Retrieval-Augmented Theorem Provers for Lean
  ☆267Updated 2 months ago
• OpenBMB / OlympiadBench
  [ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scie…
  ☆141Updated 9 months ago
• zwhe99 / DeepMath
  A Large-Scale, Challenging, Decontaminated, and Verifiable Mathematical Dataset for Advancing Reasoning
  ☆152Updated last week
• CMU-AIRe / MRT
  Research Code for preprint "Optimizing Test-Time Compute via Meta Reinforcement Finetuning".
  ☆95Updated last month
• sail-sg / oat
  🌾 OAT: A research-friendly framework for LLM online alignment, including preference learning, reinforcement learning, etc.
  ☆331Updated this week
• KbsdJames / Omni-MATH
  The official repository of the Omni-MATH benchmark.
  ☆80Updated 4 months ago
• albertqjiang / MMA
  The official repository for the paper Multilingual Mathematical Autoformalization
  ☆35Updated 11 months ago
• facebookresearch / sweet_rl
  Benchmark and research code for the paper SWEET-RL Training Multi-Turn LLM Agents onCollaborative Reasoning Tasks
  ☆182Updated last week
• cmu-l3 / l1
  L1: Controlling How Long A Reasoning Model Thinks With Reinforcement Learning
  ☆191Updated last month
• InternLM / OREAL
  Exploring the Limit of Outcome Reward for Learning Mathematical Reasoning
  ☆173Updated last month
• tongyx361 / Awesome-LLM4Math
  Curation of resources for LLM mathematical reasoning, most of which are screened by @tongyx361 to ensure high quality and accompanied wit…
  ☆122Updated 9 months ago
• THUDM / T1
  Advancing Language Model Reasoning through Reinforcement Learning and Inference Scaling
  ☆101Updated 3 months ago
• sail-sg / understand-r1-zero
  Understanding R1-Zero-Like Training: A Critical Perspective
  ☆882Updated last week
• eddycmu / demystify-long-cot
  ☆283Updated last month
• LLM360 / MegaMath
  An Open Math Pre-trainng Dataset with 370B Tokens.
  ☆72Updated 3 weeks ago
• agentica-project / verl-pipeline
  Async pipelined version of Verl
  ☆60Updated 2 weeks ago
• TIGER-AI-Lab / CritiqueFineTuning
  Code for "Critique Fine-Tuning: Learning to Critique is More Effective than Learning to Imitate"
  ☆139Updated this week
• j991222 / ai4math-papers
  AI for Mathematics (AI4Math) paper list
  ☆158Updated 6 months ago
• microsoft / rStar
  ☆519Updated last week
• Lagooon / LeanSTaR
  ☆42Updated 7 months ago
• QwenLM / ProcessBench
  ☆149Updated 4 months ago
• bin123apple / MACM
  MACM: Utilizing a Multi-Agent System for Condition Mining in Solving Complex Mathematical Problems
  ☆86Updated 9 months ago
• GAIR-NLP / LIMR
  ☆187Updated 2 months ago
• XunhaoLai / native-sparse-attention-triton
  Efficient triton implementation of Native Sparse Attention.
  ☆139Updated 2 weeks ago
• wiio12 / LEGO-Prover
  Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries
  ☆59Updated last year