Return to Article Details Introduction to Symbolic Execution of Neural Networks - Towards Faithful and Explainable Surrogate Models Download Download PDF