Boosting Robustness Verification of Semantic Feature Neighborhoods

von Kabaha, Anan
Veröffentlicht in SAS (29. : 2022 : Auckland) Static analysis (2022)

Maximal Robust Neural Network Specifications via Oracle-Guided Numerical Optimization

von Kabaha, Anan
Veröffentlicht in VMCAI (24. : 2023 : Boston) Verification, model checking, and abstract interpretation (2023)

Verification of Neural Networks’ Local Differential Classification Privacy

von Reshef, Roie
Veröffentlicht in VMCAI (25. : 2024 : London) Verification, model checking, and abstract interpretation ; Part 2 (2024)