Reduced Products of Abstract Domains for Fairness Certification of Neural Networks.

Denis Mazzucato, Caterina Urban

Browse the full SAS paper archive.