FoMLAS

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