PPaperPicks

Alessio Lomuscio

11 papers at tracked venues · 5 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2ECAI ×2AAMAS ×1AISTATS ×1CVPR ×1ICLR ×1NeurIPS ×1UAI ×1WACV ×1

Frequent coauthors

Panagiotis Kouvaros
×4
Ben Batten
×3
Alessandro De Palma
×3
Benedikt Brückner
×2
Mehran Hosseini
×2
Harleen Hanspal
×2
Patrick Henriksen
×1
Nicola Paoletti
×1
Atri Vivek Sharma
×1
Yanghao Zhang
×1
Rudy Bunel
×1
Krishnamurthy (Dj) Dvijotham
×1

Papers

  1. Dynamic Back-Substitution in Bound-Propagation-Based Neural Network Verification
    AAAI 2025 ·
    Panagiotis Kouvaros
    ,
    Benedikt Brückner
    ,
    Patrick Henriksen
    , Alessio Lomuscio
  2. Improving Weather-based OOD Generalisation in Lidar-based Object Detection Models via Adversarial Training
    CVPR 2025 ·
    Ben Batten
    , Alessio Lomuscio
  3. LTL Verification of Memoryful Neural Agents
    AAMAS 2025 ·
    Mehran Hosseini
    , Alessio Lomuscio,
    Nicola Paoletti
  4. Learning Robust XGBoost Ensembles for Regression Tasks
    UAI 2025 ·
    Atri Vivek Sharma
    ,
    Panagiotis Kouvaros
    , Alessio Lomuscio
  5. Robustness to Perturbations in the Frequency Domain: Neural Network Verification and Certified Training
    WACV 2025 ·
    Harleen Hanspal
    ,
    Alessandro De Palma
    , Alessio Lomuscio
  6. Scalable Neural Network Geometric Robustness Validation via Hölder Optimisation
    NeurIPS 2025 ·
    Yanghao Zhang
    ,
    Panagiotis Kouvaros
    , Alessio Lomuscio
  7. Verifiably Robust Contrastive Learning
    ECAI 2025 ·
    Harleen Hanspal
    , Alessio Lomuscio
  8. Verification of Neural Networks Against Convolutional Perturbations via Parameterised Kernels
    AAAI 2025 ·
    Benedikt Brückner
    , Alessio Lomuscio
  9. Expressive Losses for Verified Robustness via Convex Combinations
    ICLR 2024 ·
    Alessandro De Palma
    ,
    Rudy Bunel
    ,
    Krishnamurthy (Dj) Dvijotham
    ,
    M. Pawan Kumar
    ,
    Robert Stanforth
    , Alessio Lomuscio
  10. Tight Verification of Probabilistic Robustness in Bayesian Neural Networks
    AISTATS 2024 ·
    Ben Batten
    ,
    Mehran Hosseini
    , Alessio Lomuscio
  11. Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation
    ECAI 2024 ·
    Ben Batten
    ,
    Yang Zheng
    ,
    Alessandro De Palma
    ,
    Panagiotis Kouvaros
    , Alessio Lomuscio