Follow
Patrick Henriksen
Title
Cited by
Cited by
Year
Efficient Neural Network Verification via Adaptive Refinement and Adversarial Search
H Patrick, L Alessio
24th European Conference on Artificial Intelligence (ECAI20), 2020
111*2020
DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis.
P Henriksen, A Lomuscio
IJCAI, 2549-2555, 2021
702021
Bias Field Robustness Verification of Large Neural Image Classifiers.
P Henriksen, K Hammernik, D Rueckert, A Lomuscio
BMVC, 202, 2021
162021
Repairing misclassifications in neural networks using limited data
P Henriksen, F Leofante, A Lomuscio
Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, 1031-1038, 2022
102022
Verification-friendly networks: the case for parametric relus
F Leofante, P Henriksen, A Lomuscio
2023 International Joint Conference on Neural Networks (IJCNN), 1-9, 2023
42023
Efficient Neural Network Verification via Adaptive Refinement and Adversarial Search
P Henriksen, A Lomuscio
MSc. Dissertation. Imperial College London, 2019
42019
Robust training of neural networks against bias field perturbations
P Henriksen, A Lomuscio
Proceedings of the AAAI Conference on Artificial Intelligence 37 (12), 14865 …, 2023
12023
Verifying Neural Networks
A Lomuscio, P Henriksen, P Kouvaros
US Patent App. 18/039,997, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–8