Interpreting Robustness Proofs of Deep Neural Networks. - Debangshu Banerjee 001; Avaljot Singh; Gagandeep Singh 001 (ICLR, 2024)

ConstraintFlow: A Declarative DSL for Easy Development of DNN Certifiers. - Avaljot Singh; Yasmin Sarita; Charith Mendis; Gagandeep Singh 001 (SAS, 2024)

ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses. - Avaljot Singh; Yasmin Sarita; Charith Mendis; Gagandeep Singh 001 (CoRR, 2024)

Syndicate: Synergistic Synthesis of Ranking Function and Invariants for Termination Analysis. - Yasmin Sarita; Avaljot Singh; Shaurya Gomber; Gagandeep Singh 001; Mahesh Vishwanathan (CoRR, 2024)

Safety and Trust in Artificial Intelligence with Abstract Interpretation. - Gagandeep Singh 001; Jacob Laurel; Sasa Misailovic; Debangshu Banerjee 001; Avaljot Singh; Changming Xu; Shubham Ugare; Huan Zhang (Found. Trends Program. Lang., 2025)

Automated Verification of Soundness of DNN Certifiers. - Avaljot Singh; Yasmin Sarita; Charith Mendis; Gagandeep Singh 001 (Proc. ACM Program. Lang., 2025)

A Tensor-Based Compiler and a Runtime for Neuron-Level DNN Certifier Specifications. - Avaljot Singh; Yamin Chandini Sarita; Aditya Mishra; Ishaan Goyal; Gagandeep Singh 001; Charith Mendis (CoRR, 2025)