ai-in-pm / rStar-MathLinks
rStar-Math: Small LLMs Can Master Math Reasoning with Self-Evolved Deep Thinking
☆39Updated 8 months ago
Alternatives and similar repositories for rStar-Math
Users that are interested in rStar-Math are comparing it to the libraries listed below
Sorting:
- ☆129Updated 3 weeks ago
- ☆65Updated 9 months ago
- A highly capable 2.4B lightweight LLM using only 1T pre-training data with all details.☆212Updated last month
- ☆165Updated 4 months ago
- ☆103Updated 9 months ago
- ☆46Updated 3 months ago
- This is a repo for showcasing using MCTS with LLMs to solve gsm8k problems☆89Updated 6 months ago
- RL Scaling and Test-Time Scaling (ICML'25)☆111Updated 7 months ago
- OpenRFT: Adapting Reasoning Foundation Model for Domain-specific Tasks with Reinforcement Fine-Tuning☆149Updated 8 months ago
- Exploring the Limit of Outcome Reward for Learning Mathematical Reasoning☆190Updated 6 months ago
- [ICML 2025] |TokenSwift: Lossless Acceleration of Ultra Long Sequence Generation☆113Updated 4 months ago
- MTU-Bench: A Multi-granularity Tool-Use Benchmark for Large Language Models☆49Updated last month
- Official codebase for "GenPRM: Scaling Test-Time Compute of Process Reward Models via Generative Reasoning".☆81Updated 3 months ago
- MPO: Boosting LLM Agents with Meta Plan Optimization (EMNLP 2025 Findings)☆69Updated last month
- Resources for our paper: "Agent-R: Training Language Model Agents to Reflect via Iterative Self-Training"☆160Updated 3 months ago
- ☆129Updated last year
- 🔧Tool-Star: Empowering LLM-brained Multi-Tool Reasoner via Reinforcement Learning☆258Updated 2 weeks ago
- MiroMind-M1 is a fully open-source series of reasoning language models built on Qwen-2.5, focused on advancing mathematical reasoning.☆230Updated last month
- Code for "Critique Fine-Tuning: Learning to Critique is More Effective than Learning to Imitate" [COLM 2025]☆171Updated 2 months ago
- MiroThinker is open-source agentic models trained for deep research and complex tool use scenarios.☆314Updated this week
- AutoCoA (Automatic generation of Chain-of-Action) is an agent model framework that enhances the multi-turn tool usage capability of reaso…☆127Updated 6 months ago
- ☆75Updated last month
- ☆81Updated 5 months ago
- Scaling Preference Data Curation via Human-AI Synergy☆107Updated 2 months ago
- xVerify: Efficient Answer Verifier for Reasoning Model Evaluations☆128Updated 5 months ago
- Official implementation for "ScoreFlow: Mastering LLM Agent Workflows via Score-based Preference Optimization"☆83Updated 4 months ago
- ☆33Updated 3 months ago
- Repo for "Z1: Efficient Test-time Scaling with Code"☆64Updated 5 months ago
- ☆100Updated 3 months ago
- WideSearch: Benchmarking Agentic Broad Info-Seeking☆93Updated last month