Avaljot Singh

According to our database, Avaljot Singh authored at least 3 papers in 2024.

Collaborative distances:

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

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

Interpreting Robustness Proofs of Deep Neural Networks.

Debangshu Banerjee, Avaljot Singh, Gagandeep Singh

Proceedings of the Twelfth International Conference on Learning Representations, 2024