Google Research
Subham Sahoo, Subhashini Venugopalan, Li Li, Rishabh Singh, Patrick Riley
Neural Model Explanation;SMT Solvers;Symbolic Methods
Scaling Symbolic Methods using Gradients for Neural Model Explanation