Accepted Papers

Some posters will be presented virtually, please check the Zoom link.

IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound (Zoom link for poster session) (Best Paper Award)

Alessandro De Palma (University of Oxford)*; Rudy Bunel (Deepmind); Krishnamurthy Dvijotham (DeepMind); M. Pawan Kumar (University of Oxford); Robert Stanforth (Deepmind)

Backward Reachability for Neural Feedback Loops (Best Paper Runner-up)

Nicholas Rober (MIT)*; Michael Everett (MIT); Jonathan How (MIT)

On Quantum Computing for Neural Network Robustness Verification

Nicola Franco (Fraunhofer IKS)*; Tom H Wollschläger (Technical University of Munich); Jeanette M Lorenz (Fraunhofer Institute for Cognitive Systems IKS); Stephan Günnemann (Technical University of Munich)

Verification-friendly Networks: the Case for Parametric ReLUs (Zoom link for poster session)

Patrick Henriksen (Imperial College London)*; Francesco Leofante (Imperial College London); Alessio Lomuscio (Imperial College London)

Formal Privacy Guarantees for Neural Network queries by estimating local Lipschitz constant

Abhishek Singh (MIT)*; Praneeth Vepakomma (MIT); Vivek Sharma (MIT); Ramesh Raskar (Massachusetts Institute of Technology)

Sound randomized smoothing in floating-point arithmetics

Václav Voráček (University of Tübingen)*; Matthias Hein (University of Tübingen)

Optimized Symbolic Interval Propagation for Neural Network Verification

Philipp D Kern (Karlsruhe Institute of Technology)*; Marko Kleine Büning (Karlsruhe Institute of Technology (KIT), Institute of Theoretical Informatics); Carsten Sinz (Karlsruhe Institute of Technology (KIT), Institute of Theoretical Informatics)

Improved Certified Defenses against Data Poisoning with (Deterministic) Finite Aggregation

Wenxiao Wang (University of Maryland)*; Alexander J Levine (University of Maryland); Soheil Feizi (University of Maryland)

Sound and Complete Verification of Polynomial Network

Elias Abad Rocamora (EPFL)*; Mehmet Fatih Sahin (EPFL); Fanghui Liu (EPFL); Grigorios Chrysos (EPFL); Volkan Cevher (EPFL)

Safety Verification and Repair of Deep Neural Networks

Xiaodong Yang (Vanderbilt University); Tomoya Yamaguchi (Toyota Motor North America); Bardh Hoxha (Toyota Research Institute North America); Danil Prokhorov (Toyota Research Institute); Taylor T Johnson (Vanderbilt University)*

Robustness Verification for Contrastive Learning

Zekai Wang (Wuhan University)*; Weiwei Liu (Wuhan University)

CertiFair: A Framework for Certified Global Fairness of Neural Networks

Haitham Khedr (University of California, Irvine)*; Yasser Shoukry (University of California, Irvine)

Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State Backreachability (Zoom link for poster session)

Stanley Bak (Stony Brook University); Dung Tran (University of Nebraska-Lincoln)*

Towards Optimal Randomized Smoothing: A Semi-Infinite Linear Programming Approach (Zoom link for poster session)

Brendon G Anderson (University of California, Berkeley)*; Samuel Pfrommer (Berkeley); Somayeh Sojoudi (UC Berkeley)

Programmatic Reinforcement Learning with Formal Verification

Yuning Wang (Rutgers University); He Zhu (Rutgers University)*

Toward Certified Robustness Against Real-World Distribution Shifts

Haoze Wu (Stanford University)*; Teruhiro Tagomori (Stanford University); Alexander Robey (University of Pennsylvania); Fengjun Yang (University of Pennsylvania); Nikolai Matni (University of Pennsylvania); George J. Pappas (University of Pennsylvania); Hamed Hassani (University of Pennsylvania); Corina Pasareanu (Carnegie Mellon University); Clark Barrett (Stanford Computer Science)

Verification of Neural Ordinary Differential Equations using Reachability Analysis (Zoom link for poster session)

Diego Manzanas Lopez (Vanderbilt University)*; Patrick Musau (Vanderbilt University); Nathaniel P Hamilton (Vanderbilt University); Taylor T Johnson (Vanderbilt University)

Robust Training and Verification of Implicit Neural Networks: A Non-Euclidean Contractive Approach

Saber Jafarpour (Georgia Institute of Technology)*; Alexander Davydov (University of California, Santa Barbara); Matthew Abate (Georgia Institute of Technology); Francesco Bullo (University of California, Santa Barbara); Samuel Coogan (Georgia Institute of Technology)