# The Rift Between Learning and Formal Proofs in Robotics May Finally Be Closing - Date: 2026-04-22 - Category: Robotics New from Caltech and NC State, a system called HALO learns a robot's own motion dynamics and derives rigorous stability proofs from that learned model — suggesting the scarce resource in legged robotics may be shifting from PhDs with Lyapunov expertise to whoever has the best locomotion data. ---