stepfun-ai / StepFun-Prover-PreviewLinks
Large language models designed for formal theorem proving through tool-integrated reasoning.
☆28Updated last month
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:
- ☆64Updated 2 months ago
- ☆91Updated last month
- [NeurIPS 2024] Can LLMs Learn by Teaching for Better Reasoning? A Preliminary Study☆54Updated 9 months ago
- ☆42Updated last month
- Solving Inequality Proofs with Large Language Models.☆44Updated 3 weeks ago
- ☆84Updated 6 months ago
- ☆127Updated 4 months ago
- Technical report of Kimina-Prover Preview.☆327Updated 2 months ago
- ☆291Updated last month
- ☆41Updated 11 months ago
- ☆54Updated 3 months ago
- ☆69Updated 2 months ago
- An efficient implementation of the NSA (Native Sparse Attention) kernel☆115Updated 2 months ago
- A lightweight reinforcement learning framework that integrates seamlessly into your codebase, empowering developers to focus on algorithm…☆68Updated 3 weeks ago
- Repo for "Z1: Efficient Test-time Scaling with Code"☆64Updated 5 months ago
- Revisiting Mid-training in the Era of Reinforcement Learning Scaling☆172Updated last month
- siiRL: Shanghai Innovation Institute RL Framework for Advanced LLMs and Multi-Agent Systems☆185Updated this week
- The official repo for "AceCoder: Acing Coder RL via Automated Test-Case Synthesis" [ACL25]☆88Updated 5 months ago
- [NeurIPS-2024] 📈 Scaling Laws with Vocabulary: Larger Models Deserve Larger Vocabularies https://arxiv.org/abs/2407.13623☆86Updated 11 months ago
- ReasonFlux-Coder: Open-Source LLM Coders with Co-Evolving Reinforcement Learning☆115Updated 3 weeks ago
- ☆57Updated 2 months ago
- Implementation of Negative-aware Finetuning (NFT) algorithm for "Bridging Supervised Learning and Reinforcement Learning in Math Reasonin…☆38Updated last week
- [COLM 2025] Code for Paper: Learning Adaptive Parallel Reasoning with Language Models☆126Updated last month
- This is the official implementation for paper "PENCIL: Long Thoughts with Short Memory".☆61Updated 4 months ago
- Physics of Language Models, Part 4☆242Updated last month
- ☆242Updated 3 months ago
- ☆118Updated 3 months ago
- ☆100Updated 4 months ago
- The code for creating the iGSM datasets in papers "Physics of Language Models Part 2.1, Grade-School Math and the Hidden Reasoning Proces…☆75Updated 8 months ago
- The official repository of the Omni-MATH benchmark.☆87Updated 8 months ago