Close
Home
Publications
Education
Blog
Activities
News
Fairness Verification in Machine Learning: A Formal Methods Approach
IMLI: Incremental learning of interpretable classification rules