{"type": "article", "title": "Closing the Loop: Branch-and-Bound for Scalable Verification of Nonlinear Neural Feedback Systems", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/closing-the-loop-branch-and-bound-for-scalable-verification-of-nonlinear-neural", "original_source": "https://arxiv.org/abs/2609.16298", "published": "2026-09-16T04:00:00+00:00", "accessed": "2026-09-16", "id": "closing-the-loop-branch-and-bound-for-scalable-verification-of-nonlinear-neural"}