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
  ☆63Updated last month
• GavinZhengOI / LiveCodeBench-Pro
  ☆126Updated 3 months ago
• sustcsonglin / linear-attention-and-beyond-slides
  ☆80Updated 6 months ago
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆323Updated last month
• Lagooon / LeanSTaR
  ☆41Updated 11 months ago
• tilde-research / nsa-impl
  An efficient implementation of the NSA (Native Sparse Attention) kernel
  ☆113Updated 2 months ago
• Infini-AI-Lab / gsm_infinite
  ☆51Updated 2 months ago
• multimodal-art-projection / CriticLean
  ☆41Updated 3 weeks ago
• Infini-AI-Lab / Multiverse
  ☆86Updated 3 weeks ago
• lupantech / ineqmath
  Solving Inequality Proofs with Large Language Models.
  ☆42Updated this week
• rlite-project / RLite
  A lightweight reinforcement learning framework that integrates seamlessly into your codebase, empowering developers to focus on algorithm…
  ☆48Updated this week
• ByteDance-Seed / Seed-Prover
  ☆275Updated 3 weeks ago
• imagination-research / lbt
  [NeurIPS 2024] Can LLMs Learn by Teaching for Better Reasoning? A Preliminary Study
  ☆53Updated 9 months ago
• sii-research / siiRL
  siiRL: Shanghai Innovation Institute RL Framework for Advanced LLMs and Multi-Agent Systems
  ☆172Updated this week
• li-plus / flash-preference
  Accelerate LLM preference tuning via prefix sharing with a single line of code
  ☆43Updated last month
• HanGuo97 / log-linear-attention
  ☆237Updated 2 months ago
• OpenSparseLLMs / Linearization
  ☆55Updated last month
• Goedel-LM / Goedel-Prover-V2
  ☆90Updated 2 weeks ago
• NVlabs / NFT
  Implementation of Negative-aware Finetuning (NFT) algorithm for "Bridging Supervised Learning and Reinforcement Learning in Math Reasonin…
  ☆36Updated 2 months ago
• MoonshotAI / Kimi-Researcher
  ☆69Updated 2 months ago
• nil0x9 / flash-muon
  Flash-Muon: An Efficient Implementation of Muon Optimizer
  ☆160Updated 2 months ago
• Gen-Verse / CURE
  ReasonFlux-Coder: Open-Source LLM Coders with Co-Evolving Reinforcement Learning
  ☆108Updated last month
• facebookresearch / PhysicsLM4
  Physics of Language Models, Part 4
  ☆232Updated 3 weeks ago
• Jiahao004 / DeepTheorem
  ☆22Updated 2 months ago
• MoonshotAI / CombiBench
  ☆30Updated last week
• yaof20 / DenseMixer
  Official implementation for DenseMixer: Improving MoE Post-Training with Precise Router Gradient
  ☆51Updated 3 weeks ago
• TIGER-AI-Lab / AceCoder
  The official repo for "AceCoder: Acing Coder RL via Automated Test-Case Synthesis" [ACL25]
  ☆86Updated 4 months ago
• zhenyuhe00 / SWE-Swiss
  ☆71Updated last week
• Infini-AI-Lab / Kinetics
  Kinetics: Rethinking Test-Time Scaling Laws
  ☆76Updated last month
• mathllm / MathCoder2
  ☆69Updated 10 months ago