Official Implementation of "Reasoning Language Models: A Blueprint"
☆98Aug 3, 2025Updated last year
Alternatives and similar repositories for x1
Users that are interested in x1 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆47Jun 11, 2025Updated last year
- Verifier-integrated reasoning for formal theorem proving via RL.☆12Jul 29, 2025Updated last year
- Official Implementation of "The Graph Database Interface: Scaling Online Transactional and Analytical Graph Workloads to Hundreds of Thou…☆15Jul 2, 2025Updated last year
- ☆11Mar 11, 2026Updated 7 months ago
- [NeurIPS'25] Beyond Accuracy: Dissecting Mathematical Reasoning for LLMs Under Reinforcement Learning