1 citations · 1 across the 4 of their papers we have counts for
4 papers
Efficiently Finding Adversarial Examples with DNN Preprocessing
Avriti Chauhan, Mohammad Afzal, Hrishikesh Karmarkar +3
Deep Neural Networks (DNNs) are everywhere, frequently performing a fairly complex task that used to be unimaginable for machines to carry out. In doing so, they do a lot of decisi…
Efficient Adversarial Input Generation via Neural Net Patching
Tooba Khan, Kumar Madhukar, Subodh Vishnu Sharma
The generation of adversarial inputs has become a crucial issue in establishing the robustness and trustworthiness of deep neural nets, especially when they are used in safety-crit…
Permutation Invariance of Deep Neural Networks with ReLUs
Diganta Mukhopadhyay, Kumar Madhukar, Mandayam Srivas
Consider a deep neural network (DNN) that is being used to suggest the direction in which an aircraft must turn to avoid a possible collision with an intruder aircraft. Informally,…
Direct Construction of Program Alignment Automata for Equivalence Checking
Manish Goyal, Muqsit Azeem, Kumar Madhukar +1
The problem of checking whether two programs are semantically equivalent or not has a diverse range of applications, and is consequently of substantial importance. There are severa…