1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2021
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,…
cs.SE2021★ 1 cited
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…