Diganta Mukhopadhyay

According to our database, Diganta Mukhopadhyay authored at least 2 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Unifying Syntactic and Semantic Abstractions for Deep Neural Networks.

Sanaa Siddiqui, Diganta Mukhopadhyay, Mohammad Afzal, Hrishikesh Karmarkar, Kumar Madhukar

Proceedings of the Formal Methods for Industrial Critical Systems, 2024

2022

Permutation Invariance of Deep Neural Networks with ReLUs.

Diganta Mukhopadhyay, Kumar Madhukar, Mandayam K. Srivas

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022