Reduced Products of Abstract Domains for Fairness Certification of Neural Networks
Denis Mazzucato, Caterina Urban
Topics & Concepts
Computer scienceAbstract interpretationScalabilityHeuristicsDomain (mathematical analysis)Artificial neural networkSet (abstract data type)HeuristicStatic analysisCertificationPolyhedronProduct (mathematics)Artificial intelligenceTheoretical computer scienceAlgorithmProgramming languageOperating systemMathematicsPolitical scienceMathematical analysisLawGeometryAdversarial Robustness in Machine LearningEthics and Social Impacts of AIExplainable Artificial Intelligence (XAI)