Urban, Caterina

1. A Review of Formal Methods applied to Machine Learning
   2021/04/06 by Caterina Urban, Antoine Miné, Urban, Caterina +1 · 5 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #Formal Methods in Verification
2. Abstract Interpretation-Based Data Leakage Static Analysis
   2022/11/29 by Drobnjaković, Filip, Subotić, Pavle, Urban, Caterina · 3 citations
   #FOS: Computer and information sciences #Programming Languages (cs.PL)
3. Perfectly Parallel Fairness Certification of Neural Networks
   2019/12/05 by Caterina Urban, Maria Christakis, Urban, Caterina +5 · 1 citation
   Computer Science · Social Sciences · #Adversarial Robustness in Machine Learning #Computers and Society (cs.CY) #Ethics and Social Impacts of AI #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Programming Languages (cs.PL)
4. On Using Certified Training towards Empirical Robustness
   2024/10/02 by De Palma, Alessandro, Durand, Serge, Chihani, Zakaria +2 · 1 citation
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)