Reduced Products of Abstract Domains for Fairness Certification of Neural Networks

von Mazzucato, Denis
Veröffentlicht in International Static Analysis Symposium (28. : 2021 : Chicago, Online) Static Analysis (2021)

Static analysis : 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, proceedings

Veröffentlicht 2022

Abstract Interpretation-Based Feature Importance for Support Vector MacChines

von Pal, Abhinandan
Veröffentlicht in VMCAI (25. : 2024 : London) Verification, model checking and abstract interpretation ; Part 1 (2024)