Publications

2025

Y. 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. Hanspal, A. Lomuscio. Verifiably Robust Contrastive Learning. Proceedings of the 28th European Conference on Artificial Intelligence (ECAI25). Bologna, Italy.
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.
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.
P. Kouvaros, B. Brueckner, P. Henriksen, 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 Parameterised Kernels. Proceedings of the 39th AAAI Conference on Artificial Intelligence (AAAI25). Philadelphia, PA, USA. AAAI Press.

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.

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. Hanspal, 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.