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