Publications
4 results found
Henriksen P, Leofante F, Lomuscio A, 2021, Repairing misclassifications in neural networks using limited data, SAC '22
Henriksen P, Hammernik K, Rueckert D, et al., 2021, Bias Field Robustness Verification of Large Neural Image Classifiers, British Machine Vision Conference (BMVC21)
Henriksen P, Lomuscio A, 2021, DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis, Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21}, Publisher: International Joint Conferences on Artificial Intelligence Organization
<jats:p>We propose a novel, complete algorithm for the verification and analysis of feed-forward, ReLU-based neural networks. The algorithm, based on symbolic interval propagation, introduces a new method for determining split-nodes which evaluates the indirect effect that splitting has on the relaxations of successor nodes. We combine this with a new efficient linear-programming encoding of the splitting constraints to further improve the algorithm’s performance. The resulting implementation, DeepSplit, achieved speedups of 1–2 orders of magnitude and 21-34% fewer timeouts when compared to the current SoA toolkits.</jats:p>
Henriksen P, Lomuscio A, 2020, Efficient Neural Network Verification via Adaptive Refinement and Adversarial Search, European Conference on Artificial Intelligence (ECAI20)
This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.