Permutation Invariance of Deep Neural Networks with ReLUs. - Diganta Mukhopadhyay; Kumar Madhukar; Mandayam K. Srivas (NFM, 2022)

Unifying Syntactic and Semantic Abstractions for Deep Neural Networks. - Sanaa Siddiqui; Diganta Mukhopadhyay; Mohammad Afzal; Hrishikesh Karmarkar; Kumar Madhukar (FMICS, 2024)

Learning DNN Abstractions using Gradient Descent. - Diganta Mukhopadhyay; Sanaa Siddiqui; Hrishikesh Karmarkar; Kumar Madhukar; Guy Katz (ASE, 2024)

PROTON 2.1: Synthesizing Ranking Functions via fine-tuned locally Hosted LLM (Competition Contribution). - Diganta Mukhopadhyay; Ravindra Metta; Hrishikesh Karmarkar; Kumar Madhukar (TACAS (3), 2025)