FI-ODE: Certifiably Robust Forward Invariance in Neural ODEs

30 October 2022

Papers citing "FI-ODE: Certifiably Robust Forward Invariance in Neural ODEs"

9 / 9 papers shown

Title
Reachability Analysis of a General Class of Neural Ordinary Differential Equations Diego Manzanas Lopez Patrick Musau Nathaniel P. Hamilton Taylor T. Johnson 28 14 0 13 Jul 2022
Stable Neural ODE with Lyapunov-Stable Equilibrium Points for Defending Against Adversarial Attacks Qiyu Kang Yang Song Qinxu Ding Wee Peng Tay AAML 31 92 0 25 Oct 2021
Orthogonalizing Convolutional Layers with the Cayley Transform Asher Trockman J. Zico Kolter 27 112 0 14 Apr 2021
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification Shiqi Wang Huan Zhang Kaidi Xu Xue Lin Suman Jana Cho-Jui Hsieh Zico Kolter 53 189 0 11 Mar 2021
Reliable evaluation of adversarial robustness with an ensemble of diverse parameter-free attacks Francesco Croce Matthias Hein AAML 177 1,821 0 03 Mar 2020
$$H_\infty$ Model-free Reinforcement Learning with Robust Stability Guarantee$ $H_\infty$ Model-free Reinforcement Learning with Robust Stability Guarantee Minghao Han Yuan Tian Lixian Zhang Jun Wang Wei Pan 19 26 0 07 Nov 2019
Certified Adversarial Robustness via Randomized Smoothing Jeremy M. Cohen Elan Rosenfeld J. Zico Kolter AAML 92 2,018 0 08 Feb 2019
Neural Ordinary Differential Equations T. Chen Yulia Rubanova J. Bettencourt David Duvenaud AI4CE 184 5,024 0 19 Jun 2018
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 282 1,849 0 03 Feb 2017