stepfun-ai / StepFun-Prover-PreviewLinks
Large language models designed for formal theorem proving through tool-integrated reasoning.
☆31Updated 4 months ago
Alternatives and similar repositories for StepFun-Prover-Preview
Users that are interested in StepFun-Prover-Preview are comparing it to the libraries listed below
Sorting:
- ☆74Updated 5 months ago
- ☆47Updated 4 months ago
- Solving Inequality Proofs with Large Language Models.☆56Updated last week
- ☆42Updated last year
- ☆108Updated 3 months ago
- ☆101Updated 10 months ago
- ☆60Updated 6 months ago
- An efficient implementation of the NSA (Native Sparse Attention) kernel☆126Updated 6 months ago
- ☆381Updated this week
- [NeurIPS 2025 Spotlight] Co-Evolving LLM Coder and Unit Tester via Reinforcement Learning☆144Updated 3 months ago
- ☆98Updated 4 months ago
- Accelerate LLM preference tuning via prefix sharing with a single line of code☆51Updated 5 months ago
- Technical report of Kimina-Prover Preview.☆349Updated 5 months ago
- Klear-Reasoner: Advancing Reasoning Capability via Gradient-Preserving Clipping Policy Optimization☆80Updated this week
- ☆159Updated 2 weeks ago
- The official repo for "AceCoder: Acing Coder RL via Automated Test-Case Synthesis" [ACL25]☆94Updated 8 months ago
- ☆126Updated 6 months ago
- The official github repo for "Diffusion Language Models are Super Data Learners".☆215Updated last month
- [ASPLOS'26] Taming the Long-Tail: Efficient Reasoning RL Training with Adaptive Drafter☆114Updated 3 weeks ago
- [NeurIPS 2024] Can LLMs Learn by Teaching for Better Reasoning? A Preliminary Study☆57Updated last year
- ☆79Updated last month
- ☆71Updated last year
- ☆62Updated 5 months ago
- PaCoRe: Learning to Scale Test-Time Compute with Parallel Coordinated Reasoning☆222Updated 2 weeks ago
- [Preprint] RLVE: Scaling Up Reinforcement Learning for Language Models with Adaptive Verifiable Environments☆162Updated last month
- The official repository for SkyLadder: Better and Faster Pretraining via Context Window Scheduling☆40Updated 2 months ago
- ☆137Updated 4 months ago
- The official repo for "OpenMoE 2: Sparse Diffusion Language Models".☆49Updated last month
- Official implementation for DenseMixer: Improving MoE Post-Training with Precise Router Gradient☆63Updated 4 months ago
- A lightweight reinforcement learning framework that integrates seamlessly into your codebase, empowering developers to focus on algorithm…☆93Updated 4 months ago