Toggle navigation
Caterina Urban
Home
Research
Publications
Talks
People
Teaching
Software
Contact
Page not found
Perhaps you were looking for one of these?
Publications
Quantitative Input Usage Static Analysis
Monotonicity and the Precision of Program Analysis
Abstract Interpretation-Based Feature Importance for Support Vector Machines
A Formal Framework to Measure the Incompleteness of Abstract Interpretations
Static Analysis for Data Scientists
Talks
Machine Learning Interpretability and Verification
Interpretability-Aware Verification of Machine Learning Software
Interpretability-Aware Verification of Machine Learning Software
Interpretability-Aware Verification of Machine Learning Software
Data Usage across the Machine Learning Pipeline
Projects
ForML
SAIF
SeDaNo
Libra
Lyra
×
Cite