Scaling Symbolic Methods using Gradients for Neural Model Explanation

Subham Sekhar Sahoo, Subhashini Venugopalan, Li Li +2

Symbolic techniques based on Satisfiability Modulo Theory (SMT) solvers have been proposed for analyzing and verifying neural network properties, but their usage has been fairly li…