top of page

PROGRAM.

July 19, 2020

All times are in Eastern Time (ET)

8:30-8:50: Registration

8:50-9:00

Opening remarks

9:00-11:00: First session of paper presentations
Session chair: Guy Katz
 

  • 9:00-9:20: A Comparison of Neural Network Tools for the Verification of Linear Specifications of ReLU Networks
    Authors: Ziggy Attala, Ana Cavalcanti and James Woodcock
     

  • 9:20-9:40: Simplifying Neural Networks using Formal Verification
    Authors: Sumathi Gokulanathan, Alexander Feldsher, Adi Malca, Clark Barrett and Guy Katz
     

  • 9:40-10:00: Formal Verification of Neural Agents in Non-deterministic Environments
    Authors: Michael Akintunde, Elena Botoeva, Panagiotis Kouvaros and Alessio Lomuscio
     

  • 10:00-10:20: Verifying Recurrent Neural Networks using Invariant Inference
    Authors: Yuval Jacoby, Clark Barrett and Guy Katz
     

  • 10:20-10:40: Efficient Verification of ReLU-based Neural Networks via Dependency Analysis
    Authors: Elena Botoeva, Panagiotis Kouvaros, Jan Kronqvist, Alessio Lomuscio and Ruth Misener
     

  • 10:40-11:00: An Abstraction-Based Framework for Neural Network Verification
    Authors: Yizhak Elboher, Guy Katz and Justin Gottschlich

11:00-11:30: Break

11:30-12:30: Invited talk

Research Challenges and Opportunities towards Safe Autonomous Driving

Chih-Hong Cheng (DENSO)

12:30-13:30: 

VNNLIB discussion

Armando Tacchella (University of Genoa)

13:30-14:30: Break

14:30-15:50: Second session of paper presentations

Session chair: Aws Albarghouthi
 

  • 14:30-14:50: NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks
    Authors: Dario Guidotti, Armando Tacchella and Luca Pulina
     

  • 14:50-15:10: Parallelization Techniques for Verifying Neural Networks
    Authors: Haoze Wu, Alex Ozdemir, Aleksandar Zeljić, Ahmed Irfan, Kyle Julian, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina Pasareanu and Clark Barrett
     

  • 15:10-15:30: Robustness Verification of Nearest Neighbor Classifiers
    Authors: Lu Wang, Xuanqing Liu, Jinfeng Yi, Zhi-Hua Zhou and Cho-Jui Hsieh
     

  • 15:30-15:50: Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples
    Authors: Ivan Papusha, Rosa Wu, Joshua Brule, Yanni Kouskoulas, Daniel Genin and Aurora Schmidt

15:50-16:10: Break

16:10-17:10: Third session of paper presentations

Session chair: Nina Narodytska

​

  • 16:10-16:30: Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis
    Authors: Hongce Zhang, Maxwell Shinn, Aarti Gupta, Arie Gurfinkel, Nham Le and Nina Narodytska
     

  • On Symbolically Encoding the Behavior of Random Forests
    Authors: Arthur Choi, Andy Shih, Anchal Goyanka and Adnan Darwiche
     

  • Robustness Verification for Ensemble Stumps and Trees
    Authors: Hongge Chen, Yihan Wang, Huan Zhang, Cho-Jui Hsieh, Si Si, Yang Li and Duane Boning

17:10-17:20:

Concluding remarks

bottom of page