@misc{indiciae5760c199e0f3, title = {Hierarchical End-to-End Taylor Bounds for Complete Neural Network Verification}, author = {Taha Entesari and Mahyar Fazlyab}, year = {2026}, url = {https://arxiv.org/abs/2605.10621}, note = {Source identifier: 2605.10621} }