Alternatives and similar repositories for StepFun-Prover-Preview

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

• multimodal-art-projection / CriticLean
  ☆47Updated 5 months ago
• Sphere-AI-Lab / FormalMATH-Bench
  ☆74Updated last week
• lupantech / ineqmath
  Solving Inequality Proofs with Large Language Models.
  ☆56Updated last month
• Lagooon / LeanSTaR
  ☆42Updated last year
• Infini-AI-Lab / Multiverse
  ☆109Updated 4 months ago
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆349Updated 6 months ago
• Infini-AI-Lab / gsm_infinite
  ☆61Updated 7 months ago
• rlite-project / RLite
  A lightweight reinforcement learning framework that integrates seamlessly into your codebase, empowering developers to focus on algorithm…
  ☆98Updated 4 months ago
• li-plus / flash-preference
  Accelerate LLM preference tuning via prefix sharing with a single line of code
  ☆51Updated 6 months ago
• google-deepmind / superhuman
  ☆79Updated 2 months ago
• GavinZhengOI / LiveCodeBench-Pro
  ☆162Updated last month
• agentica-project / verl-pipeline
  Async pipelined version of Verl
  ☆124Updated 9 months ago
• ByteDance-Seed / Seed-Prover
  ☆396Updated 3 weeks ago
• Kwai-Klear / KlearReasoner
  Klear-Reasoner: Advancing Reasoning Capability via Gradient-Preserving Clipping Policy Optimization
  ☆81Updated 3 weeks ago
• sustcsonglin / linear-attention-and-beyond-slides
  ☆103Updated 10 months ago
• SkyworkAI / MindLink
  ☆99Updated 5 months ago
• whyNLP / Conic10K
  Conic10K: A large-scale dataset for closed-vocabulary math problem understanding. Accepted to EMNLP2023 Findings.
  ☆31Updated 2 years ago
• TIGER-AI-Lab / AceCoder
  The official repo for "AceCoder: Acing Coder RL via Automated Test-Case Synthesis" [ACL25]
  ☆95Updated 9 months ago
• tilde-research / nsa-impl
  An efficient implementation of the NSA (Native Sparse Attention) kernel
  ☆128Updated 6 months ago
• imagination-research / lbt
  [NeurIPS 2024] Can LLMs Learn by Teaching for Better Reasoning? A Preliminary Study
  ☆58Updated last year
• mit-han-lab / fastrl
  [ASPLOS'26] Taming the Long-Tail: Efficient Reasoning RL Training with Adaptive Drafter
  ☆126Updated last month
• OpenSparseLLMs / Linear-MoE
  ☆126Updated 7 months ago
• MoonshotAI / CombiBench
  ☆40Updated last month
• Gen-Verse / CURE
  [NeurIPS 2025 Spotlight] Co-Evolving LLM Coder and Unit Tester via Reinforcement Learning
  ☆148Updated 3 months ago
• NovaSky-AI / SkyRL-OpenHands
  ☆33Updated last month
• mathllm / MathCoder2
  ☆71Updated last year
• Parallel-Reasoning / APR
  [COLM 2025] Code for Paper: Learning Adaptive Parallel Reasoning with Language Models
  ☆136Updated last month
• ctlllll / gpt-oss-reverse-engineering
  ☆71Updated 5 months ago
• GAIR-NLP / OctoThinker
  Revisiting Mid-training in the Era of Reinforcement Learning Scaling
  ☆182Updated 5 months ago
• Infini-AI-Lab / Kinetics
  Kinetics: Rethinking Test-Time Scaling Laws
  ☆85Updated 6 months ago