Efficient Verification of Neural Networks Against LVM-Based Specifications. - Harleen Hanspal; Alessio Lomuscio (CVPR, 2023)

Robustness to Perturbations in the Frequency Domain: Neural Network Verification and Certified Training. - Harleen Hanspal; Alessandro De Palma; Alessio Lomuscio (WACV (Workshops), 2025)

Exploiting Mixture-of-Experts Redundancy Unlocks Multimodal Generative Abilities. - Raman Dutt; Harleen Hanspal; Guoxuan Xia; Petru-Daniel Tudosiu; Alexander Black 001; Yongxin Yang; Steven McDonagh 001; Sarah Parisot (CoRR, 2025)

A Practical Investigation of Spatially-Controlled Image Generation with Transformers. - Guoxuan Xia; Harleen Hanspal; Petru-Daniel Tudosiu; Shifeng Zhang; Sarah Parisot (CoRR, 2025)