"Stability Guarantees for Feature Attributions with Multiplicative Smoothing" Anton Xue (University of Pennsylvania)*; Rajeev Alur (University of Pennsylvania ); Eric Wong (University of Pennsylvania)

"DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation" Haitham Khedr (University of California, Irvine)*; Yasser Shoukry (University of California, Irvine)

"Probabilistic Global Robustness Verification of Arbitrary Supervised Machine Learning Models" Max-Lion Schumacher (Fraunhofer IPA)*; Marco Huber (University of Stuttgart)

"Formal Verification for Counting Unsafe Inputs in Deep Neural Networks" Luca Marzari (University of Verona)*; Davide Corsi (University of Verona); Ferdinando Cicalese (University of Verona); Alessandro Farinelli (University of Verona, Italy)

"Toward Continuous Verification of DNNs" Shubham Ugare (UIUC)*; Debangshu Banerjee (University of Illinois Urbana-Champaign); Tarun Suresh (University of Illinois Urbana-Champaign); Sasa Misailovic (UIUC); Gagandeep Singh (VMware Research and UIUC)

"Formal Verification for Neural Networks with General Nonlinearities via Branch-and-Bound" Zhouxing Shi (UCLA)*; Qirui Jin (University of Michigan); Huan Zhang (CMU); Zico Kolter (Carnegie Mellon University); Suman Jana (Columbia University); Cho-Jui Hsieh (UCLA)

"Towards Verifying Monotonicity and Robustness Properties for Domain-Specific DRL Algorithms" Mohammad Zangooei (University of Waterloo)*; Mina Tahmasbi Arashloo (University of Waterloo); Raouf Boutaba (University of Waterloo)

"Benchmarking Formal Verification for Autonomous Driving in the Wild" Yonggang Luo (Chongqing Changan Automobile)*; Jinyan Ma (Chongqing Changan Automobile); Sanchu Han (Chongqing Changan Automobile); Lecheng Xie (Chongqing Changan Automobile)

"Formal Control Synthesis for Stochastic Neural Network Dynamic Models" Steven J.L. Adams (TU Delft)*; Morteza Lahijanian (University of Colorado Boulder); Luca Laurenti (TU Delft)

"A Toolbox for Fast Interval Arithmetic in numpy with an Application to Formal Verification of Neural Network Controlled Systems" Akash Harapanahalli (Georgia Institute of Technology)*; Saber Jafarpour (Georgia Institute of Technology); Sam Coogan (Georgia Tech)

"Fast Feature Selection with Fairness Constraints" Francesco Quinzan (Hasso Plattner Institute)*; Rajiv Khanna (Purdue University); Moshik Hershcovitch (IBM Research); Sarel Cohen (Hasso Plattner Institute); Daniel G Waddington (IBM Research); Tobias Friedrich (Hasso Plattner Institute); Michael Mahoney (University of California, Berkeley)

"Understanding Certified Training with Interval Bound Propagation" Yuhao Mao (ETH Zurich); Mark Niklas Müller (ETH Zurich)*; Marc Fischer (ETH Zurich); Martin Vechev (ETH Zurich)