Speaker
Konstantin Kaulen
Talks at this conference:
| Mon, 11:30 | Dynamic Algorithm Termination for Branch-and-Bound-based Neural Network Verification |
| Tue, 11:40 | CTRAIN - A Training Library for Certifiably Robust Neural Networks |
Speaker
| Mon, 11:30 | Dynamic Algorithm Termination for Branch-and-Bound-based Neural Network Verification |
| Tue, 11:40 | CTRAIN - A Training Library for Certifiably Robust Neural Networks |