Folgen
Ben Batten
Titel
Zitiert von
Zitiert von
Jahr
Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts.
B Batten, P Kouvaros, A Lomuscio, Y Zheng
IJCAI, 2184-2190, 2021
352021
Tight Verification of Probabilistic Robustness in Bayesian Neural Networks
B Batten, M Hosseini, A Lomuscio
arXiv preprint arXiv:2401.11627, 2024
2024
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–2