04:00
2026-09-16
arxiv.org
ai-safety
Closing the Loop: Branch-and-Bound for Scalable Verification of Nonlinear Neural Feedback Systems
Researchers introduced RAIL, an interface exposing polyhedral enclosures of nonlinear dynamics to LiRPA-style bound propagation, and CLIPPER, a branch-and-bound algorithm that jointly refines enclosur…