[Jan 31, 2026]
5 papers accepted to ICLR 2026!
- Process-Verified Reinforcement Learning for Theorem Proving via Lean
- Predicting LLM Reasoning Performance with Small Proxy Model
- Composer: A Search Framework for Hybrid Neural Architecture Design Bilge
- TESSAR: Geometry-Aware Active Regression via Dynamic Voronoi Tessellation
- Group-Normalized Implicit Value Optimization for Language Models