SAIV 2025

Speaker

Holger Hoos

Talks at this conference:
 Mon, 11:30 Dynamic Algorithm Termination for Branch-and-Bound-based Neural Network Verification
 Mon, 16:00 VERONA: A Framework for Neural Network Robustness Experiments
 Tue, 11:20 Robustness Margin: A new measure for the robustness of neural networks
 Tue, 11:40 CTRAIN - A Training Library for Certifiably Robust Neural Networks
 Tue, 14:30 On the efficiency of training robust decision trees

 Overview