Model-Based and Sample-Efficient AI-Assisted Math Discovery in Sphere Packing Paper • 2512.04829 • Published Dec 4, 2025 • 11
Experience is the Best Teacher: Grounding VLMs for Robotics through Self-Generated Memory Paper • 2507.16713 • Published Jul 22, 2025 • 21
Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving Paper • 2507.02726 • Published Jul 3, 2025 • 14