#NeuralAbstraction