Avaljot Singh

According to our database, Avaljot Singh authored at least 7 papers between 2024 and 2025.

Collaborative distances:

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

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, Charith Mendis

CoRR, July, 2025

Automated Verification of Soundness of DNN Certifiers.

Avaljot Singh, Yasmin Sarita, Charith Mendis, Gagandeep Singh

Proc. ACM Program. Lang., 2025

Safety and Trust in Artificial Intelligence with Abstract Interpretation.

Gagandeep Singh, Jacob Laurel, Sasa Misailovic, Debangshu Banerjee, Avaljot Singh, Changming Xu, Shubham Ugare, Huan Zhang

Found. Trends Program. Lang., 2025

2024

Syndicate: Synergistic Synthesis of Ranking Function and Invariants for Termination Analysis.

Yasmin Sarita, Avaljot Singh, Shaurya Gomber, Gagandeep Singh, Mahesh Vishwanathan

CoRR, 2024

ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses.

Avaljot Singh, Yasmin Sarita, Charith Mendis, Gagandeep Singh

CoRR, 2024

ConstraintFlow: A Declarative DSL for Easy Development of DNN Certifiers.

Avaljot Singh, Yasmin Sarita, Charith Mendis, Gagandeep Singh

Proceedings of the Static Analysis - 31st International Symposium, 2024

Interpreting Robustness Proofs of Deep Neural Networks.

Debangshu Banerjee, Avaljot Singh, Gagandeep Singh

Proceedings of the Twelfth International Conference on Learning Representations, 2024