Think Through a Bottleneck: Hourglass Reasoning for Rigorous Induction

14 July 2026 at 06:00 CEST