# The Rift Between Learning and Formal Proofs in Robotics May Finally Be Closing

- slug: 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.

---