multimodal-art-projection / CriticLeanLinks
☆47Updated 5 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.☆56Updated last month
- ☆74Updated 2 weeks ago
- ☆42Updated last year
- ☆82Updated 2 months ago
- Large language models designed for formal theorem proving through tool-integrated reasoning.☆31Updated 5 months ago
- ☆45Updated 7 months ago
- ☆397Updated last month
- P1: Mastering Physics Olympiads with Reinforcement Learning☆73Updated 3 weeks ago
- ☆142Updated 4 months ago
- ☆40Updated last month
- [ACL 2025] A Generalizable and Purely Unsupervised Self-Training Framework☆71Updated 7 months ago
- ☆128Updated 2 weeks ago
- ☆64Updated 3 months ago
- ☆25Updated last year
- [NeurIPS 2025 Spotlight] Co-Evolving LLM Coder and Unit Tester via Reinforcement Learning☆148Updated 4 months ago
- B-STAR: Monitoring and Balancing Exploration and Exploitation in Self-Taught Reasoners☆85Updated 8 months ago
- SPIRAL: Self-Play on Zero-Sum Games Incentivizes Reasoning via Multi-Agent Multi-Turn Reinforcement Learning☆174Updated 4 months ago
- Code for "Reasoning to Learn from Latent Thoughts"☆124Updated 9 months ago
- Official Repository of Native Parallel Reasoner☆98Updated last week
- ThetaEvolve: Test-time Learning on Open Problems, enabling RL training on AlphaEvolve/OpenEvolve and emphasizing scaling test-time comput…☆107Updated 3 weeks ago
- Revisiting Mid-training in the Era of Reinforcement Learning Scaling☆182Updated 6 months ago
- The official github repo for "Diffusion Language Models are Super Data Learners".☆218Updated 2 months ago
- This is the official implementation for paper "PENCIL: Long Thoughts with Short Memory".☆69Updated 8 months ago
- Interpretable Contrastive Monte Carlo Tree Search Reasoning☆50Updated last year
- ☆70Updated 7 months ago
- [NeurIPS 2024] OlympicArena: Benchmarking Multi-discipline Cognitive Reasoning for Superintelligent AI☆107Updated 10 months ago
- [ICML2025] Official Repo for Paper "Optimizing Temperature for Language Models with Multi-Sample Inference"☆21Updated 11 months ago
- Process Reward Models That Think☆77Updated last month
- Official implementation of Regularized Policy Gradient (RPG) (https://arxiv.org/abs/2505.17508)☆64Updated 3 weeks ago
- Technical report of Kimina-Prover Preview.☆349Updated 6 months ago