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"

2 / 2 papers shown

Title
Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization Mahyar Fazlyab Taha Entesari Aniket Roy Ramalingam Chellappa AAML 16 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 33 8 0 07 Mar 2023