Publications

Syndicate: Synergistic Synthesis of Ranking Function and Invariants for Termination Analysis
Yasmin Sarita, Avaljot Singh, Shaurya Gomber, Gagandeep Singh, Mahesh Vishwanathan
Arxiv 2024


ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses
Avaljot Singh, Yasmin Sarita, Charith Mendis, Gagandeep Singh
Arxiv 2024


Dissecting Neural Network Robustness Proofs
Debangshu Banerjee, Avaljot Singh, Gagandeep Singh
ICLR 2024


Interpreting Robustness Proofs of Deep Neural Networks
Debangshu Banerjee, Avaljot Singh, Gagandeep Singh
WFVML @ ICML 2023
Outstanding Paper
Arxiv 2023


ConstraintFlow: A Declarative DSL for Certified Artificial Intelligence
Avaljot Singh
Student Research Competition @ PLDI 2023
Bronze medal
Abstract
Poster