Följ
Ben Batten
Titel
Citeras av
Citeras av
År
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–2