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