MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling Paper • 2606.13473 • Published 25 days ago • 92
AR-VLA: True Autoregressive Action Expert for Vision-Language-Action Models Paper • 2603.10126 • Published May 11 • 2
Zero-to-CAD: Agentic Synthesis of Interpretable CAD Programs at Million-Scale Without Real Data Paper • 2604.24479 • Published Apr 27 • 9