A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks

Open in new window