Diganta Mukhopadhyay

According to our database, Diganta Mukhopadhyay authored at least 4 papers between 2022 and 2025.

Collaborative distances:

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

2025

PROTON 2.1: Synthesizing Ranking Functions via fine-tuned locally Hosted LLM (Competition Contribution).

Diganta Mukhopadhyay, Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

2024

Learning DNN Abstractions using Gradient Descent.

Diganta Mukhopadhyay, Sanaa Siddiqui, Hrishikesh Karmarkar, Kumar Madhukar, Guy Katz

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 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