| Authors | Title | Paper | Talk |
|---|
| Jianglin Lan, Yang Zheng and Alessio Lomuscio | Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations |  | Jul 31 11:00 |
| Youcheng Sun, Muhammad Usman, Divya Gopinath and Corina Păsăreanu | VPN: Verification of Poisoning in Neural Networks | | Aug 01 09:30 |
| Ravi Mangal and Corina Pasareanu | A Cascade of Checkers for Run-time Certification of Local Robustness | | Jul 31 11:30 |
| Haoze Wu, Clark Barrett, Mahmood Sharif, Nina Narodytska and Gagandeep Singh | Scalable Verification of GNN-based Job Schedulers | | Aug 01 09:00 |
| João Batista Pereira Matos Júnior, Lucas C. Cordeiro, Edoardo Manino, Xidan Song and Iury Bessa | CEG4N: Counter-Example Guided Neural Network Quantization Refinement | | Jul 31 16:00 |
| Natan Levy and Guy Katz | RoMA: a Method for Neural Network Robustness Measurement and Assessment | | Jul 31 12:00 |
| Guy Amir, Guy Katz, Michael Schapira and Tom Zelazny | Verification-Aided Deep Ensemble Selection | | Aug 01 10:00 |
| Matan Ostrovsky, Clark Barrett and Guy Katz | An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks | | Jul 31 09:30 |
| Idan Refaeli and Guy Katz | Minimal Multi-Layer Modifications of Deep Neural Networks | | Aug 01 16:00 |
| Matthew Daggitt, Wen Kokke, Robert Atkey, Luca Arnaboldi and Ekaterina Komendantskaya | Vehicle: A High-Level Language for Embedding Logical Specifications in Neural Networks | | Aug 01 11:30 |
| Omri Isac, Clark Barrett, Min Zhang and Guy Katz | Neural Network Verification with Proof Production | | Aug 01 14:00 |
| Marco Casadio, Ekaterina Komendantskaya, Verena Rieser, Matthew Daggitt, Daniel Kienitz, Luca Arnaboldi and Wen Kokke | Why Robust Natural Language Understanding is a Challenge | | Jul 31 09:00 |
| Natalia Ślusarz, Ekaterina Komendantskaya, Matthew Daggitt and Robert Stewart | Differentiable Logics for Neural Network Training and Verification | | Aug 01 12:00 |
| Remi Desmartin, Grant Passmore and Ekaterina Komendantskaya | Neural Networks in Imandra: Matrix Representation as a Verification Choice | | Jul 31 10:00 |
| Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno and Corina Pasareanu | Self-Correcting Neural Networks For Safe Classification | | Aug 01 16:30 |
| Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic and Doron Peled | Formal Specification for Learning-Enabled Autonomous Systems | | Aug 01 11:00 |
| Ichiro Hasuo | Goal-Aware RSS for Complex Scenarios via Program Logic | | Jul 31 16:30 |
