| 9:00 |
|
Ensuring Reliable Outcomes in Deep Learning: The Key Role of Requirements
Eleonora Giunchiglia
Table Host Chair: Mirco Giacobbe
|
|
Monitoring Robustness and Individual Fairness
Konstantin Kueffner, Kaushik Mallik, Ashutosh Gupta, Thomas A Henzinger, David Pape
Poster
|
|---|
|
:10
|
|
|
|---|
|
:20
|
|
|
|---|
|
:30
|
|
VNN-COMP
Chair: Mirco Giacobbe
|
|
Automated VNN Solver Configuration Selection via Deep Reinforcement Learning
Salil Kamath, Matthew Davis, Jonathan Andreasen, Yatis Dodia, Vijay Ganesh
Poster
|
|---|
|
:40
|
|
|
|---|
|
:50
|
|
|
|---|
| 10:00 |
|
Round-table discussion
|
|
Neural Approximation of Vision-Controlled Systems for Reachability Analysis
Yuang Geng, Sukanth Sundaran, Chao Huang, Steven Drager, Ivan Ruchkin
Poster
|
|---|
|
:10
|
|
|
|---|
|
:20
|
|
|
|---|
|
:30
|
|
Coffee/Tea & Posters
|
|
Composing Reinforcement Learning Policies, with Formal Guarantees
Florent Delgrange, Guy Avni, Anna Lukina, Christian Schilling, Ann Nowe, Guillermo A. Pérez
Poster
|
|---|
|
:40
|
|
|
|---|
|
:50
|
|
|
|---|
| 11:00 |
|
Abstraction-Based Proof Production in Formal Verification of Neural Networks
Yizhak Yisrael Elboher, Omri Isac, Guy Katz, Tobias Ladner, Haoze Wu
Paper Chair: Kaushik Mallik
|
|
Stream-Based Monitoring of Algorithmic Fairness
Frederik Scheerer, Jan Baumeister, Julian Siber, Bernd Finkbeiner
Poster
|
|---|
|
:10
|
|
|
|---|
|
:20
|
|
Robustness Margin: A new measure for the robustness of neural networks
Lionel Kielhofer, Annelot Willemijn Bosman, Jan N. van Rijn, Holger Hoos
Paper Chair: Kaushik Mallik
|
|
|---|
|
:30
|
|
|
Comparing Differentiable Logics for Learning with Logical Constraints
Thomas Flinkow, Barak A Pearlmutter, Rosemary Monahan
Poster
|
|---|
|
:40
|
|
CTRAIN - A Training Library for Certifiably Robust Neural Networks
Konstantin Kaulen, Holger Hoos
Paper Chair: Kaushik Mallik
|
|
|---|
|
:50
|
|
|
|---|
| 12:00 |
|
Lunch
|
|
Lunch
|
|---|
|
:10
|
|
|
|---|
|
:20
|
|
|
|---|
|
:30
|
|
|
|---|
|
:40
|
|
|
|---|
|
:50
|
|
|
|---|
| 13:00 |
|
|
|---|
|
:10
|
|
|
|---|
|
:20
|
|
|
|---|
|
:30
|
|
|
|---|
|
:40
|
|
|
|---|
|
:50
|
|
|
|---|
| 14:00 |
|
(Hybrid) Perspectives: Opportunities at the intersection of FM and AI
Nora Ammann
Table Host Chair: Anna Lukina
|
|
False Positives in Robustness Checking of Neural Networks - An Experimental Study
Mohammad Afzal, S Akshay, Ashutosh Gupta, Venkatesh R
Poster
|
|---|
|
:10
|
|
|
|---|
|
:20
|
|
|
|---|
|
:30
|
|
Certified Error Analysis of Homomorphically Encrypted Neural Networks
Philipp Daniel Kern, Edoardo Manino, Carsten Sinz
Paper Chair: Elena Botoeva
|
|
On the efficiency of training robust decision trees
Benedict Gerlach, Marie Anastacio, Holger Hoos
Poster
|
|---|
|
:40
|
|
|
|---|
|
:50
|
|
(Hybrid) GRENA: GPU-aided Abstract Refinement for Neural Network Verification
Yuyi Zhong, Shaun Tan Zong Zhi, Hanping Xu, Siau-Cheng Khoo
Paper Chair: Elena Botoeva
|
|
|---|
| 15:00 |
|
|
Glitches in Tree Ensemble model
Namrita Varshney, Ashutosh Gupta, Shankaranarayanan Krishna, Kaushik Mallik, Satyankar Chandra
Poster
|
|---|
|
:10
|
|
Probabilistic verification of neural networks with sampling-based Probability Box propagation
Marcel Chwiałkowski, Sylvie Putot, Eric Goubault
Paper Chair: Elena Botoeva
|
|
|---|
|
:20
|
|
|
|---|
|
:30
|
|
Coffee/Tea & Posters
|
|
Qualitative and quantitative verification of DNN-CPS models
Letian Fang, Jing Liu, Jiang Xiong, Rongbin Hou
Poster
|
|---|
|
:40
|
|
|
|---|
|
:50
|
|
|
|---|
| 16:00 |
|
How to Verify Generalization Capability of a Neural Network with Formal Methods
Arthur Clavière, Dmitrii Kirov, Darren Cofer
Paper Chair: Taylor Johnson
|
|
Certificate-Guided Evaluation of Reinforcement Learning Generalization
Vignesh Subramanian, Đorđe Žikelić, Suguman Bansal
Poster
|
|---|
|
:10
|
|
|
|---|
|
:20
|
|
On the Complexity of Formal Reasoning in State Space Models
Eric Alsmann, Martin Lange
Paper Chair: Taylor Johnson
|
|
|---|
|
:30
|
|
|
|
|---|