Alternatives and similar repositories for StepFun-Prover-Preview

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

• Sphere-AI-Lab / FormalMATH-Bench
  ☆70Updated 3 months ago
• Lagooon / LeanSTaR
  ☆42Updated last year
• multimodal-art-projection / CriticLean
  ☆43Updated 2 months ago
• Infini-AI-Lab / Multiverse
  ☆98Updated last month
• lupantech / ineqmath
  Solving Inequality Proofs with Large Language Models.
  ☆49Updated this week
• Infini-AI-Lab / gsm_infinite
  ☆55Updated 4 months ago
• ByteDance-Seed / Seed-Prover
  ☆299Updated last month
• sustcsonglin / linear-attention-and-beyond-slides
  ☆93Updated 8 months ago
• yaof20 / DenseMixer
  Official implementation for DenseMixer: Improving MoE Post-Training with Precise Router Gradient
  ☆58Updated 2 months ago
• tilde-research / nsa-impl
  An efficient implementation of the NSA (Native Sparse Attention) kernel
  ☆121Updated 4 months ago
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆337Updated 3 months ago
• GavinZhengOI / LiveCodeBench-Pro
  ☆143Updated last week
• TIGER-AI-Lab / AceCoder
  The official repo for "AceCoder: Acing Coder RL via Automated Test-Case Synthesis" [ACL25]
  ☆91Updated 6 months ago
• rlite-project / RLite
  A lightweight reinforcement learning framework that integrates seamlessly into your codebase, empowering developers to focus on algorithm…
  ☆68Updated 2 months ago
• OpenSparseLLMs / Linearization
  ☆61Updated 3 months ago
• Goedel-LM / Goedel-Prover-V2
  ☆114Updated 2 months ago
• facebookresearch / PhysicsLM4
  Physics of Language Models, Part 4
  ☆250Updated 2 months ago
• imagination-research / lbt
  [NeurIPS 2024] Can LLMs Learn by Teaching for Better Reasoning? A Preliminary Study
  ☆55Updated 11 months ago
• SkyworkAI / MindLink
  ☆97Updated 2 months ago
• Kwai-Klear / KlearReasoner
  Klear-Reasoner: Advancing Reasoning Capability via Gradient-Preserving Clipping Policy Optimization
  ☆77Updated last month
• chr26195 / PENCIL
  This is the official implementation for paper "PENCIL: Long Thoughts with Short Memory".
  ☆65Updated 5 months ago
• Gen-Verse / CURE
  [NeurIPS 2025 Spotlight] ReasonFlux-Coder: Open-Source LLM Coders with Co-Evolving Reinforcement Learning
  ☆126Updated last month
• qiuzh20 / gated_attention
  The official implementation for [NeurIPS2025 Oral] Gated Attention for Large Language Models: Non-linearity, Sparsity, and Attention-Sink…
  ☆95Updated last month
• mathllm / MathCoder2
  ☆69Updated last year
• GAIR-NLP / OctoThinker
  Revisiting Mid-training in the Era of Reinforcement Learning Scaling
  ☆177Updated 3 months ago
• MoonshotAI / CombiBench
  ☆34Updated 2 months ago
• efficientscaling / Z1
  [EMNLP'2025 Industry] Repo for "Z1: Efficient Test-time Scaling with Code"
  ☆65Updated 6 months ago
• QwenLM / CodeElo
  CodeElo: Benchmarking Competition-level Code Generation of LLMs with Human-comparable Elo Ratings
  ☆55Updated 8 months ago
• Parallel-Reasoning / APR
  [COLM 2025] Code for Paper: Learning Adaptive Parallel Reasoning with Language Models
  ☆132Updated 2 months ago
• OpenSparseLLMs / Linear-MoE
  ☆119Updated 4 months ago