Accepted Papers

  1. Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations
    Authors: Jianglin Lan, Yang Zheng and Alessio Lomuscio


  2. VPN: Verification of Poisoning in Neural Networks
    Authors: Youcheng Sun, Muhammad Usman, Divya Gopinath and Corina Pasareanu


  3. A Cascade of Checkers for Run-time Certification of Local Robustness
    Authors: Ravi Mangal and Corina Pasareanu


  4. Scalable Verification of GNN-based Job Schedulers
    Authors: Haoze Wu, Clark Barrett, Mahmood Sharif, Nina Narodytska and Gagandeep Singh


  5. Counter-Example Guided Neural Network Compression Refinement (CEG4N)
    Authors: João Batista Pereira Matos Júnior, Lucas C. Cordeiro, Edoardo Manino, Xidan Song and Iury Bessa


  6. RoMA: a Method for Neural Network Robustness Measurement and Assessment
    Authors: Natan Levy and Guy Katz


  7. Verification-Aided Deep Ensemble Selection
    Authors: Guy Amir, Guy Katz, Michael Schapira and Tom Zelazny


  8. An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks
    Authors: Matan Ostrovsky, Clark Barrett and Guy Katz


  9. Minimal Multi-Layer Modifications of Deep Neural Networks
    Authors: Idan Refaeli and Guy Katz


  10. Vehicle: A High-Level Language for Embedding Logical Specifications in Neural Networks
    Authors: Matthew Daggitt, Wen Kokke, Robert Atkey, Luca Arnaboldi and Ekaterina Komendantskaya


  11. Neural Network Verification with Proof Production
    Authors: Omri Isac, Clark Barrett, Min Zhang and Guy Katz


  12. Why Robust Natural Language Understanding is a Challenge
    Authors: Marco Casadio, Ekaterina Komendantskaya, Verena Rieser, Matthew Daggitt, Daniel Kienitz, Luca Arnaboldi and Wen Kokke


  13. Differentiable Logics for Neural Network Verification
    Authors: Natalia Ślusarz, Ekaterina Komendantskaya, Matthew Daggitt and Robert Stewart


  14. Neural Networks in Imandra: Matrix Representation as a Verification Choice
    Remi Desmartin, Grant Passmore and Ekaterina Komendantskaya


  15. Self-Correcting Neural Networks For Safe Classification
    Authors: Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno and Corina Pasareanu


  16. Formal Specification for Learning-Enabled Autonomous Systems (Extended Abstract)
    Authors: Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic and Doron Peled


  17. Goal-Aware RSS for Complex Scenarios via Program Logic
    Authors: Ichiro Hasuo