Analytical bounds on the local Lipschitz constants of affine-ReLU functions

14 August 2020

Papers citing "Analytical bounds on the local Lipschitz constants of affine-ReLU functions"

3 / 3 papers shown

Title
Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization Mahyar Fazlyab Taha Entesari Aniket Roy Ramalingam Chellappa AAML 113 11 0 29 Sep 2023
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems Navid Hashemi Bardh Hoxha Tomoya Yamaguchi Danil Prokhorov Geogios Fainekos Jyotirmoy Deshmukh 55 8 0 07 Mar 2023
Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization Navid Hashemi Justin Ruths Mahyar Fazlyab 107 22 0 10 Dec 2020