Alessio Lomuscio

Venues

Frequent coauthors

Papers

1. Dynamic Back-Substitution in Bound-Propagation-Based Neural Network Verification
   AAAI 2025 ·

   Panagiotis Kouvaros

   DBLP profile ↗ORCID search ↗
2. Improving Weather-based OOD Generalisation in Lidar-based Object Detection Models via Adversarial Training
   CVPR 2025 ·

   Ben Batten

   DBLP profile ↗ORCID search ↗
3. LTL Verification of Memoryful Neural Agents
   AAMAS 2025 ·

   Mehran Hosseini

   DBLP profile ↗ORCID search ↗
4. Learning Robust XGBoost Ensembles for Regression Tasks
   UAI 2025 ·

   Atri Vivek Sharma

   DBLP profile ↗ORCID search ↗
5. Robustness to Perturbations in the Frequency Domain: Neural Network Verification and Certified Training
   WACV 2025 ·

   Harleen Hanspal

   DBLP profile ↗ORCID search ↗
6. Scalable Neural Network Geometric Robustness Validation via Hölder Optimisation
   NeurIPS 2025 ·

   Yanghao Zhang

   DBLP profile ↗ORCID search ↗
7. Verifiably Robust Contrastive Learning
   ECAI 2025 ·

   Harleen Hanspal

   DBLP profile ↗ORCID search ↗
8. Verification of Neural Networks Against Convolutional Perturbations via Parameterised Kernels
   AAAI 2025 ·

   Benedikt Brückner

   DBLP profile ↗ORCID search ↗
9. Expressive Losses for Verified Robustness via Convex Combinations
   ICLR 2024 ·

   Alessandro De Palma

   DBLP profile ↗ORCID search ↗
10. Tight Verification of Probabilistic Robustness in Bayesian Neural Networks
    AISTATS 2024 ·

    Ben Batten

    DBLP profile ↗ORCID search ↗
11. Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation
    ECAI 2024 ·

    Ben Batten

    DBLP profile ↗ORCID search ↗