MiniMax-AI / SynLogicLinks
[NeurIPS 2025] The official repo of SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond
☆187Updated 4 months ago
Alternatives and similar repositories for SynLogic
Users that are interested in SynLogic are comparing it to the libraries listed below
Sorting:
- General Reasoner: Advancing LLM Reasoning Across All Domains [NeurIPS25]☆204Updated this week
- Revisiting Mid-training in the Era of Reinforcement Learning Scaling☆180Updated 4 months ago
- Code for "Critique Fine-Tuning: Learning to Critique is More Effective than Learning to Imitate" [COLM 2025]☆179Updated 4 months ago
- REverse-Engineered Reasoning for Open-Ended Generation☆83Updated 2 months ago
- [EMNLP'25 Industry] Repo for "Z1: Efficient Test-time Scaling with Code"☆67Updated 7 months ago
- A Large-Scale, Challenging, Decontaminated, and Verifiable Mathematical Dataset for Advancing Reasoning☆277Updated 2 months ago
- ☆64Updated 5 months ago
- [ICML 2025] Teaching Language Models to Critique via Reinforcement Learning☆118Updated 6 months ago
- End-to-End Reinforcement Learning for Multi-Turn Tool-Integrated Reasoning☆330Updated 2 months ago
- L1: Controlling How Long A Reasoning Model Thinks With Reinforcement Learning☆257Updated 6 months ago
- RL Scaling and Test-Time Scaling (ICML'25)☆112Updated 10 months ago
- The official repository of paper "Pass@k Training for Adaptively Balancing Exploration and Exploitation of Large Reasoning Models''☆104Updated 3 months ago
- ☆344Updated 4 months ago
- SSRL: Self-Search Reinforcement Learning☆156Updated 3 months ago
- A repo for open research on building large reasoning models☆115Updated last week
- ☆213Updated 9 months ago
- ☆104Updated last month
- Towards a Unified View of Large Language Model Post-Training☆187Updated 2 months ago
- A unified suite for generating elite reasoning problems and training high-performance LLMs, including pioneering attention-free architect…☆129Updated last month
- RM-R1: Unleashing the Reasoning Potential of Reward Models☆151Updated 5 months ago
- [NeurIPS 2025 Spotlight] Co-Evolving LLM Coder and Unit Tester via Reinforcement Learning☆135Updated 2 months ago
- The official repo for "AceCoder: Acing Coder RL via Automated Test-Case Synthesis" [ACL25]☆94Updated 7 months ago
- The official repository of the Omni-MATH benchmark.☆88Updated 11 months ago
- Klear-Reasoner: Advancing Reasoning Capability via Gradient-Preserving Clipping Policy Optimization☆79Updated 2 months ago
- [Preprint] RLVE: Scaling Up Reinforcement Learning for Language Models with Adaptive Verifiable Environments☆148Updated 2 weeks ago
- Benchmark and research code for the paper SWEET-RL Training Multi-Turn LLM Agents onCollaborative Reasoning Tasks☆253Updated 6 months ago
- ☆327Updated 6 months ago
- [EMNLP 2025] LightThinker: Thinking Step-by-Step Compression☆123Updated 7 months ago
- WideSearch: Benchmarking Agentic Broad Info-Seeking☆102Updated last month
- ☆335Updated 3 weeks ago