Efficient Neural Network Verification via Adaptive Refinement and Adversarial Search H Patrick, L Alessio 24th European Conference on Artificial Intelligence (ECAI20), 2020 | 138* | 2020 |
DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis. P Henriksen, A Lomuscio IJCAI, 2549-2555, 2021 | 91 | 2021 |
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 | 19 | 2022 |
Bias Field Robustness Verification of Large Neural Image Classifiers. P Henriksen, K Hammernik, D Rueckert, A Lomuscio BMVC, 202, 2021 | 18 | 2021 |
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 | 7 | 2023 |
Efficient Neural Network Verification via Adaptive Refinement and Adversarial Search P Henriksen, A Lomuscio MSc. Dissertation. Imperial College London, 2019 | 6 | 2019 |
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 | 2 | 2023 |
Methods and systems for robust training of neural networks P Henriksen, A Lomuscio US Patent App. 18/416,851, 2024 | | 2024 |
Verifying Neural Networks A Lomuscio, P Henriksen, P Kouvaros US Patent App. 18/039,997, 2024 | | 2024 |