multimodal-art-projection / CriticLeanLinks
☆44Updated 3 months ago
Alternatives and similar repositories for CriticLean
Users that are interested in CriticLean are comparing it to the libraries listed below
Sorting:
- Solving Inequality Proofs with Large Language Models.☆52Updated 2 weeks ago
- ☆72Updated 4 months ago
- ☆42Updated last year
- Large language models designed for formal theorem proving through tool-integrated reasoning.☆30Updated 3 months ago
- Revisiting Mid-training in the Era of Reinforcement Learning Scaling☆180Updated 3 months ago
- ☆303Updated 2 months ago
- [ICML 2025] Teaching Language Models to Critique via Reinforcement Learning☆116Updated 6 months ago
- B-STAR: Monitoring and Balancing Exploration and Exploitation in Self-Taught Reasoners☆86Updated 5 months ago
- Resources for the Enigmata Project.☆73Updated 3 months ago
- [NeurIPS 2025 Spotlight] ReasonFlux-Coder: Open-Source LLM Coders with Co-Evolving Reinforcement Learning☆131Updated 2 months ago
- [ACL 2025] A Generalizable and Purely Unsupervised Self-Training Framework☆71Updated 5 months ago
- [NeurIPS 2024] OlympicArena: Benchmarking Multi-discipline Cognitive Reasoning for Superintelligent AI☆108Updated 8 months ago
- [NeurIPS 2025 Spotlight] Scaling Computer-Use Grounding via UI Decomposition and Synthesis☆129Updated last week
- SPIRAL: Self-Play on Zero-Sum Games Incentivizes Reasoning via Multi-Agent Multi-Turn Reinforcement Learning☆161Updated 2 months ago
- Interpretable Contrastive Monte Carlo Tree Search Reasoning☆48Updated last year
- [Preprint] RLVE: Scaling Up Reinforcement Learning for Language Models with Adaptive Verifiable Environments☆88Updated last week
- ☆64Updated 5 months ago
- This is the official implementation for paper "PENCIL: Long Thoughts with Short Memory".☆67Updated 6 months ago
- ☆38Updated 3 months ago
- [ICLR 2025] SuperCorrect: Advancing Small LLM Reasoning with Thought Template Distillation and Self-Correction☆83Updated 7 months ago
- ☆147Updated last month
- ☆125Updated 2 months ago
- ☆69Updated last year
- General Reasoner: Advancing LLM Reasoning Across All Domains [NeurIPS25]☆199Updated 3 weeks ago
- ☆41Updated 4 months ago
- ☆77Updated 8 months ago
- SIFT: Grounding LLM Reasoning in Contexts via Stickers☆58Updated 8 months ago
- RL Scaling and Test-Time Scaling (ICML'25)☆112Updated 9 months ago
- ☆102Updated 6 months ago
- [NeurIPS 2025] The official repo of SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond☆186Updated 4 months ago