The adversarial input generation problem has become central in establish...
Deep Neural Networks (DNNs) are everywhere, frequently performing a fair...
Consider a deep neural network (DNN) that is being used to suggest the
d...
The problem of checking whether two programs are semantically equivalent...