Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2406.04476
Cited By
Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis
6 June 2024
Sina Sharifi
Mahyar Fazlyab
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis"
2 / 2 papers shown
Title
ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds
Taha Entesari
Sina Sharifi
Mahyar Fazlyab
22
6
0
01 Nov 2022
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz
Clark W. Barrett
D. Dill
Kyle D. Julian
Mykel Kochenderfer
AAML
222
1,835
0
03 Feb 2017
1