TY - RPRT TI - Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis AU - Sina Sharifi AU - Mahyar Fazlyab PY - 2024 UR - https://arxiv.org/abs/2406.04476 ID - 2406.04476 ER -