Prophecy: Inferring Formal Properties from Neuron Activations

Open in new window