MiniMax-AI / SynLogicLinks
The official repo of SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond
☆161Updated last month
Alternatives and similar repositories for SynLogic
Users that are interested in SynLogic are comparing it to the libraries listed below
Sorting:
- Revisiting Mid-training in the Era of Reinforcement Learning Scaling☆164Updated last month
- General Reasoner: Advancing LLM Reasoning Across All Domains☆163Updated 2 months ago
- Code for "Critique Fine-Tuning: Learning to Critique is More Effective than Learning to Imitate" [COLM 2025]☆170Updated last month
- L1: Controlling How Long A Reasoning Model Thinks With Reinforcement Learning☆248Updated 3 months ago
- ☆55Updated 2 months ago
- [ICML 2025] Teaching Language Models to Critique via Reinforcement Learning☆108Updated 3 months ago
- 📖 This is a repository for organizing papers, codes, and other resources related to Latent Reasoning.☆192Updated last week
- RL Scaling and Test-Time Scaling (ICML'25)☆111Updated 7 months ago
- RM-R1: Unleashing the Reasoning Potential of Reward Models☆122Updated last month
- ☆206Updated 6 months ago
- A Large-Scale, Challenging, Decontaminated, and Verifiable Mathematical Dataset for Advancing Reasoning☆244Updated 2 months ago
- ☆325Updated 3 weeks ago
- A repo for open research on building large reasoning models☆90Updated this week
- End-to-End Reinforcement Learning for Multi-Turn Tool-Integrated Reasoning☆172Updated 2 weeks ago
- The official repository of the Omni-MATH benchmark.☆87Updated 8 months ago
- ☆144Updated 2 months ago
- A version of verl to support tool use☆333Updated this week
- ☆127Updated 3 months ago
- Research Code for preprint "Optimizing Test-Time Compute via Meta Reinforcement Finetuning".☆101Updated 2 weeks ago
- Official repository for paper: O1-Pruner: Length-Harmonizing Fine-Tuning for O1-Like Reasoning Pruning☆86Updated 6 months ago
- MiroThinker is open-source agentic models trained for deep research and complex tool use scenarios.☆251Updated this week
- Repo for "Z1: Efficient Test-time Scaling with Code"☆63Updated 4 months ago
- [ICLR 2025] SuperCorrect: Advancing Small LLM Reasoning with Thought Template Distillation and Self-Correction☆77Updated 5 months ago
- Official codebase for "GenPRM: Scaling Test-Time Compute of Process Reward Models via Generative Reasoning".☆81Updated 2 months ago
- [NeurIPS'24] Official code for *🎯DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving*☆112Updated 8 months ago
- Benchmark and research code for the paper SWEET-RL Training Multi-Turn LLM Agents onCollaborative Reasoning Tasks☆234Updated 3 months ago
- official repository for “Reinforcement Learning for Reasoning in Large Language Models with One Training Example”☆342Updated last week
- ☆71Updated this week
- Efficient Agent Training for Computer Use☆123Updated 2 months ago
- ☆87Updated this week