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
  ☆68Updated 2 months ago
• Infini-AI-Lab / Multiverse
  ☆96Updated 3 weeks ago
• multimodal-art-projection / CriticLean
  ☆42Updated 2 months ago
• sustcsonglin / linear-attention-and-beyond-slides
  ☆89Updated 7 months ago
• lupantech / ineqmath
  Solving Inequality Proofs with Large Language Models.
  ☆44Updated 2 weeks ago
• Lagooon / LeanSTaR
  ☆42Updated last year
• TIGER-AI-Lab / AceCoder
  The official repo for "AceCoder: Acing Coder RL via Automated Test-Case Synthesis" [ACL25]
  ☆88Updated 5 months ago
• ByteDance-Seed / Seed-Prover
  ☆296Updated 2 weeks ago
• Infini-AI-Lab / gsm_infinite
  ☆54Updated 3 months ago
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆329Updated 2 months ago
• Parallel-Reasoning / APR
  [COLM 2025] Code for Paper: Learning Adaptive Parallel Reasoning with Language Models
  ☆129Updated last month
• MoonshotAI / CombiBench
  ☆33Updated last month
• GavinZhengOI / LiveCodeBench-Pro
  ☆138Updated last week
• sail-sg / scaling-with-vocab
  [NeurIPS-2024] 📈 Scaling Laws with Vocabulary: Larger Models Deserve Larger Vocabularies https://arxiv.org/abs/2407.13623
  ☆86Updated last year
• efficientscaling / Z1
  [EMNLP 2025 Industry] Repo for "Z1: Efficient Test-time Scaling with Code"
  ☆64Updated 5 months ago
• qiuzh20 / gated_attention
  The official implementation for [NeurIPS2025 Oral] Gated Attention for Large Language Models: Non-linearity, Sparsity, and Attention-Sink…
  ☆83Updated 2 weeks ago
• OpenSparseLLMs / Linearization
  ☆60Updated 2 months ago
• tilde-research / nsa-impl
  An efficient implementation of the NSA (Native Sparse Attention) kernel
  ☆118Updated 3 months ago
• yaof20 / DenseMixer
  Official implementation for DenseMixer: Improving MoE Post-Training with Precise Router Gradient
  ☆58Updated 2 months ago
• mathllm / MathCoder2
  ☆69Updated 11 months ago
• SkyworkAI / MindLink
  ☆97Updated last month
• imagination-research / lbt
  [NeurIPS 2024] Can LLMs Learn by Teaching for Better Reasoning? A Preliminary Study
  ☆54Updated 10 months ago
• MoonshotAI / Kimi-Researcher
  ☆72Updated 3 months ago
• zhenyuhe00 / SWE-Swiss
  SWE-Swiss: A Multi-Task Fine-Tuning and RL Recipe for High-Performance Issue Resolution
  ☆88Updated last week
• GAIR-NLP / OctoThinker
  Revisiting Mid-training in the Era of Reinforcement Learning Scaling
  ☆176Updated 2 months ago
• KbsdJames / Omni-MATH
  The official repository of the Omni-MATH benchmark.
  ☆88Updated 9 months ago
• chr26195 / PENCIL
  This is the official implementation for paper "PENCIL: Long Thoughts with Short Memory".
  ☆66Updated 4 months ago
• Gen-Verse / CURE
  [NeurIPS 2025 Spotlight] ReasonFlux-Coder: Open-Source LLM Coders with Co-Evolving Reinforcement Learning
  ☆122Updated 2 weeks ago
• rlite-project / RLite
  A lightweight reinforcement learning framework that integrates seamlessly into your codebase, empowering developers to focus on algorithm…
  ☆68Updated last month
• RUCAIBox / JiuZhang3.0
  The code and data for the paper JiuZhang3.0
  ☆49Updated last year