multimodal-art-projection / CriticLeanLinks
☆42Updated last month
Alternatives and similar repositories for CriticLean
Users that are interested in CriticLean are comparing it to the libraries listed below
Sorting:
- ☆64Updated 2 months ago
- Solving Inequality Proofs with Large Language Models.☆44Updated 3 weeks ago
- ☆42Updated 11 months ago
- ☆291Updated last month
- Large language models designed for formal theorem proving through tool-integrated reasoning.☆28Updated last month
- [NeurIPS 2024] OlympicArena: Benchmarking Multi-discipline Cognitive Reasoning for Superintelligent AI☆104Updated 6 months ago
- Revisiting Mid-training in the Era of Reinforcement Learning Scaling☆173Updated last month
- ReasonFlux-Coder: Open-Source LLM Coders with Co-Evolving Reinforcement Learning☆115Updated 3 weeks ago
- [ICML 2025] Teaching Language Models to Critique via Reinforcement Learning☆111Updated 4 months ago
- A repo for open research on building large reasoning models☆102Updated this week
- [COLM 2025] Code for Paper: Learning Adaptive Parallel Reasoning with Language Models☆128Updated last month
- General Reasoner: Advancing LLM Reasoning Across All Domains☆171Updated 3 months ago
- [ICLR 2025] This is the official implementation for the paper: "Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluat…☆33Updated 3 months ago
- B-STAR: Monitoring and Balancing Exploration and Exploitation in Self-Taught Reasoners☆84Updated 3 months ago
- [ACL 2025] A Generalizable and Purely Unsupervised Self-Training Framework☆71Updated 3 months ago
- ☆127Updated 4 months ago
- SPIRAL: Self-Play on Zero-Sum Games Incentivizes Reasoning via Multi-Agent Multi-Turn Reinforcement Learning☆145Updated 2 weeks ago
- Interpretable Contrastive Monte Carlo Tree Search Reasoning☆48Updated 10 months ago
- Optimizing Anytime Reasoning via Budget Relative Policy Optimization☆45Updated 2 months ago
- The official repository of the Omni-MATH benchmark.☆87Updated 8 months ago
- Code for "Reasoning to Learn from Latent Thoughts"☆118Updated 5 months ago
- The official repo of SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond☆165Updated 2 months ago
- End-to-End Reinforcement Learning for Multi-Turn Tool-Integrated Reasoning☆273Updated this week
- The official repo for "AceCoder: Acing Coder RL via Automated Test-Case Synthesis" [ACL25]☆88Updated 5 months ago
- RL Scaling and Test-Time Scaling (ICML'25)☆111Updated 7 months ago
- ☆73Updated 6 months ago
- Towards a Unified View of Large Language Model Post-Training☆111Updated last week
- Official Implementation of ARPO: End-to-End Policy Optimization for GUI Agents with Experience Replay☆122Updated 3 months ago
- ☆93Updated 4 months ago
- ☆59Updated 3 months ago