vix.ing · top · new · best · stats · spec

Mastroeni, Isabella

  1. Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation
    2025/05/08 by Luca Marzari, Marzari, Luca, Isabella Mastroeni +3 · 2 citations
    Computer Science · Social Sciences · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Ethics and Social Impacts of AI #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences