SAIF
Publications
Guannan Wei, Zhuo Zhang, Caterina Urban.
Hallucination-Resilient LLM-Driven Sound and Tunable Static Analysis.
In LMPL,
2025.
Alessandro De Palma, Serge Durand, Zakaria Chihani, François Terrier, Caterina Urban.
On Using Certified Training towards Empirical Robustness.
In TMLR,
2025.
Alessandro De Palma, Serge Durand, Zakaria Chihani, François Terrier, Caterina Urban.
On Using Certified Training towards Empirical Robustness.
In arXiv/2410.01617,
2024.
Talks
Static Analysis for Trustworthy and Explainable Machine Learning
Tuesday, July 8, 2025
2:20 PM
Machine Learning Interpretability and Verification
Thursday, April 4, 2024
9:30 AM