Publications

2026

A. Sharma, B. Formento. A. Lomuscio. Eliciting Intrinsic Hallucinations in LLMs via Semantically Equivalent Adversarial Attacks. Proceedings of the 3rd International Conference on Language Modeling. San Francisco, CA, USA.
B. Brückner, A. Mercado, Y. Zhang, P. Kouvaros, A. Lomuscio. IoUCert: Robustness Verification for Anchor-based Object Detectors. Proceedings of the 19th European Conference on Computer Vision (ECCV26). Malmö, Sweden.
J.-G. Durand, P. Kouvaros, M. Gariel, A. Lomuscio. Lipschitz Optimization for Formal Verification of Homographies. Proceedings of the 39th IEEE Conference on Computer Vision and Pattern Recognition (CVPR26). Denver, CO, USA. Computer Vision Foundation / IEEE.
B. Brückner, H. Hanspal, A. Lomuscio. Certified Background-Invariant Training via Latent Generative Models. Proceedings of the AAAI26 Workshop on Artificial Intelligence for Air Transportation (AI4AT). Singapore.
B. Brückner, A. Lomuscio. Improving Neural Network Robustness to Convolutional Perturbations Through Certified Training. Proceedings of the AAAI26 Workshop on Artificial Intelligence for Cyber Security (AICS). Singapore.

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. Brückner, 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. Brückner, 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.