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
  ☆73Updated 4 months ago
• multimodal-art-projection / CriticLean
  ☆44Updated 4 months ago
• Lagooon / LeanSTaR
  ☆42Updated last year
• lupantech / ineqmath
  Solving Inequality Proofs with Large Language Models.
  ☆53Updated last month
• Infini-AI-Lab / Multiverse
  ☆104Updated 2 months ago
• sustcsonglin / linear-attention-and-beyond-slides
  ☆99Updated 9 months ago
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆346Updated 4 months ago
• tilde-research / nsa-impl
  An efficient implementation of the NSA (Native Sparse Attention) kernel
  ☆126Updated 5 months ago
• Infini-AI-Lab / gsm_infinite
  ☆55Updated 5 months ago
• GavinZhengOI / LiveCodeBench-Pro
  ☆149Updated last month
• google-deepmind / superhuman
  ☆72Updated last month
• li-plus / flash-preference
  Accelerate LLM preference tuning via prefix sharing with a single line of code
  ☆51Updated 5 months ago
• rlite-project / RLite
  A lightweight reinforcement learning framework that integrates seamlessly into your codebase, empowering developers to focus on algorithm…
  ☆90Updated 3 months ago
• imagination-research / lbt
  [NeurIPS 2024] Can LLMs Learn by Teaching for Better Reasoning? A Preliminary Study
  ☆56Updated last year
• ByteDance-Seed / Seed-Prover
  ☆312Updated 2 months ago
• Gen-Verse / CURE
  [NeurIPS 2025 Spotlight] Co-Evolving LLM Coder and Unit Tester via Reinforcement Learning
  ☆135Updated 2 months ago
• MoonshotAI / CombiBench
  ☆38Updated 3 months ago
• Parallel-Reasoning / APR
  [COLM 2025] Code for Paper: Learning Adaptive Parallel Reasoning with Language Models
  ☆134Updated 3 months ago
• Kwai-Klear / KlearReasoner
  Klear-Reasoner: Advancing Reasoning Capability via Gradient-Preserving Clipping Policy Optimization
  ☆80Updated 2 months ago
• OpenSparseLLMs / Linearization
  ☆61Updated 5 months ago
• TIGER-AI-Lab / AceCoder
  The official repo for "AceCoder: Acing Coder RL via Automated Test-Case Synthesis" [ACL25]
  ☆94Updated 7 months ago
• OpenSparseLLMs / Linear-MoE
  ☆120Updated 6 months ago
• SkyworkAI / MindLink
  ☆98Updated 4 months ago
• NovaSky-AI / SkyRL-OpenHands
  ☆29Updated last week
• Jellyfish042 / RWKV_Othello
  A specialized RWKV-7 model for Othello(a.k.a. Reversi) that predicts legal moves, evaluates positions, and performs in-context search. It…
  ☆43Updated 10 months ago
• Goedel-LM / Goedel-Prover-V2
  ☆128Updated 3 months ago
• RLsys-Foundation / TritonForge
  🔥 LLM-powered GPU kernel synthesis: Train models to convert PyTorch ops into optimized Triton kernels via SFT+RL. Multi-turn compilation…
  ☆103Updated 3 weeks ago
• HanGuo97 / log-linear-attention
  ☆256Updated 6 months ago
• chr26195 / PENCIL
  This is the official implementation for paper "PENCIL: Long Thoughts with Short Memory".
  ☆70Updated 6 months ago
• Infini-AI-Lab / Kinetics
  Kinetics: Rethinking Test-Time Scaling Laws
  ☆84Updated 4 months ago