Suivre
Ben Batten
Titre
Citée par
Citée par
Année
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–2