Model-Based and Sample-Efficient AI-Assisted Math Discovery in Sphere Packing Paper • 2512.04829 • Published 26 days ago • 11
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