Reluplex: a calculus for reasoning about deep neural networks
Guy Katz, Clark Barrett, David L. Dill, Kyle D. Julian, Mykel J. Kochenderfer
Topics & Concepts
Artificial neural networkComputer scienceDeep neural networksScalabilityArtificial intelligenceObstacleDeep learningFunction (biology)SimplexAlgorithmMathematicsEvolutionary biologyDatabaseBiologyPolitical scienceGeometryLawAdversarial Robustness in Machine LearningExplainable Artificial Intelligence (XAI)Advanced Neural Network Applications