2025

• H. Zhang, P. Kouvaros, A. Lomuscio. Scalable Neural Network Geometric Robustness Validation via Hölder Optimisation. Proceedings of the 39th Annual Conference on Neural Information Processing Systems (NeurIPS25). San Diego, CA, USA.
• H. Hanspaal, A. Lomuscio. Verifiably Robust Contrastive Learning. Proceedings of the 28th European Conference on Artificial Intelligence (ECAI25). Bologna, Italy.
• V. Manginas, N. Manginas, E. Stevinson, S. Varghese, N. Katzouris, G. Paliouras, A. Lomuscio. A Scalable Approach to Probabilistic Neuro-symbolic Robustness Verification. Proceedings of the 19th International Conference on Neurosymbolic Reasoning (NeSY25). Santa Cruz, CA, USA. (Outstanding paper award).
• A. Sharma, P. Kouvaros, A. Lomuscio. Learning Robust XGBoost Ensembles for Regression Tasks. Proceedings of the 41st Conference on Uncertainty in Artificial Intelligence (UAI25). Rio de Janeiro, Brazil.
• B. Batten, A. Lomuscio. Improving Weather-based OOD Generalisation in Lidar-based Perception Models via Adversarial Training. Proceedings of the CVPR2025 Workshop on Workshop on Safe Artificial Intelligence for All Domains (SAID). Nashville, TN, USA.
• H. Hanspal, A. De Palma, A. Lomuscio. Robustness to Perturbations in the Frequency Domain: Neural Network Verification and Certified Training. Proceedings of the IEEE/CVF Winter Workshops of the Conference on Applications of Computer Vision (WACV25). Tucson, AZ, USA. CVF Press.
• M. Hosseini, A. Lomuscio, N. Paoletti. LTL Verification of Memoryful Neural Agents. Proceedings of the 24th International Conference on Autonomous Agents and Multi-agent Systems (AAMAS25). Detroit, MI, USA. IFAAMAS Press.
• B. Brueckner, P. Kouvaros, A. Lomuscio. Dynamic Back-substitution in Bound-propagation-based Neural Network Verification. Proceedings of the 39th AAAI Conference on Artificial Intelligence (AAAI25). Philadelphia, PA, USA. AAAI Press.
• B. Brueckner, A. Lomuscio. Verification of Neural Networks Against Convolutional Perturbations via Prarameterised Kernels. Proceedings of the 39th AAAI Conference on Artificial Intelligence (AAAI25). Philadelphia, PA, USA. AAAI Press.

2024

• E. Stevinson, A. Lomuscio.  Reducing Return Volatility in Neural Network-Based Asset Allocation via Formal Verification and Certified Training. Proceedings of the 5th ACM International Conference on AI in Finance (ICAIF24). Brooklyn, New York, NY, USA.
• B. Batten, Y. Zheng, A. De Palma, P. Kouvaros, A. Lomuscio. Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation. Proceedings of the 27th European Conference on Artificial Intelligence (ECAI24). Santiago de Compostela, Spain.
• A. De Palma, R. Bunel, K. Dvijotham, M. P. Kumar, R. Stanforth, A. Lomuscio. Expressive Losses for Verified Robustness via Convex Combinations. Proceedings of the 12th International Conference on Learning Representations (ICLR24). Vienna, Austria.
• B. Batten, M. Hosseini, A. Lomuscio. Tight Verification of Probabilistic Robustness in Bayesian Neural Networks. Proceedings of the 27th International Conference on Artificial Intelligence and Statistic (AISTATS24). Valencia, Spain.

2023

• P. Kouvaros, F. Leofante, B. Edwards, C. Chung, D. Margineantu, A. Lomuscio. Verification of Semantic Key Point Detection for Aircraft Pose Estimation. Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR23). Rhodes, Greece. AAAI Press. 
• H. Hanspaal, A. Lomuscio. Efficient Verification of Neural Networks against LVM-based Specifications. Proceedings of the 36th IEEE Conference on Computer Vision and Pattern Recognition (CVPR23). Montreal, Canada. Computer Vision Foundation / IEEE. 
• P. Henriksen, A. Lomuscio Robust Training of Neural Networks against Bias Field Perturbations. Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI23). Washington, DC, USA.  
• J. Lan, Y. Zheng, A. Lomuscio. Iteratively Enhanced Semidefinite Relaxations for Efficient Neural Network Verification. Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI23). Washington, DC, USA.
• J. Lan, B. Brueckner, A. Lomuscio. A Semidefinite Relaxation based Branch-and-Bound Method for Tight Neural Network Verification. Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI23). Washington, DC, USA.  

2022

• P. Henriksen, F. Leofante, A. Lomuscio. Repairing Misclassifications in Neural Networks Using Limited Data. Proceedings of the 37th ACM/SIGAPP Symposium On Applied Computing (SAC22), pp 1031-1038. ACM. Virtual Conference. 
• J. Lan, Y. Zheng, A. Lomuscio. Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations. Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI22). 

2021

• P. Henriksen, K. Hammernik, D. Rueckert, A. Lomuscio. Bias Field Robustness Verification of Large Neural Image Classifiers. Proceedings of the 31st British Machine Vision Conference (BMVC21).
• V. Hashemi, P. Kouvaros, A. Lomuscio. OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks. Proceedings of the 19th International Conference on Software Engineering and Formal Methods (SEFM21). 
• P. Kouvaros, T. Kyono, F. Leofante, A. Lomuscio, D. Margineantu, D. Osipychev, Y. Zheng. Formal Analysis of Neural Network-based Systems in the Aircraft Domain. Proceedings of the 24th International Symposium on Formal Methods (FM21). Virtual conference.
• P. Henriksen, A Lomuscio. DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis. Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI21). Virtual conference. Ijcai.org.
• P. Kouvaros, A. Lomuscio. Towards Scalable Complete Verification of ReLU Neural Networks via Dependency-based Branching. Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI21). Virtual conference. Ijcai.org.
• B. Batten, P. Kouvaros, A. Lomuscio, Y. Zheng. Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts. Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI21). Virtual conference. Ijcai.org.

2020

• P. Henriksen, A. Lomuscio. Efficient Neural Network Verification via Adaptive Refinement and Adversarial Search. Proceedings of the 24th European Conference on Artificial Intelligence (ECAI20). Santiago de Compostela, Spain. 
• E. Botoeva, P. Kouvaros, J. Kronqvist, A. Lomuscio, R. Misener. Efficient Verification of Neural Networks via Dependency Analysis. Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI20). New York City, New York. AAAI Press.

2018

• M. Akintunde, A. Lomuscio, L. Maganti, E. Pirovano. Reachability Analysis for Neural Agent-Environment Systems. Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR18). Tempe, Arizona. AAAI Press.