Volgen
Ben Batten
Titel
Geciteerd door
Geciteerd door
Jaar
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–2