Natural walking speed prediction in Virtual Reality while using target selection-based locomotion. - Nilotpal Biswas; Debangshu Banerjee 001; Samit Bhattacharya (VRST, 2021)

Vertex Guarding for Dynamic Orthogonal Art Galleries. - Debangshu Banerjee 001; R. Inkulu (Int. J. Comput. Geom. Appl., 2021)

Minimising the duration of a system-controlled virtual reality tour. - Nilotpal Biswas; Debangshu Banerjee 001; Samit Bhattacharya (ISMAR Adjunct, 2022)

Incremental Verification of Neural Networks. - Shubham Ugare; Debangshu Banerjee 001; Sasa Misailovic; Gagandeep Singh 001 (Proc. ACM Program. Lang., 2023)

Realistic walking experience for system-automated virtual reality tour. - Nilotpal Biswas; Debangshu Banerjee 001; Samit Bhattacharya (Multim. Tools Appl., 2023)

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

Incremental Randomized Smoothing Certification. - Shubham Ugare; Tarun Suresh; Debangshu Banerjee 001; Gagandeep Singh 001; Sasa Misailovic (ICLR, 2024)

Relational DNN Verification With Cross Executional Bound Refinement. - Debangshu Banerjee 001; Gagandeep Singh 001 (ICML, 2024)

Relational Verification Leaps Forward with RABBit. - Tarun Suresh; Debangshu Banerjee 001; Gagandeep Singh 001 (NeurIPS, 2024)

Input-Relational Verification of Deep Neural Networks. - Debangshu Banerjee 001; Changming Xu; Gagandeep Singh 001 (Proc. ACM Program. Lang., 2024)

Support is All You Need for Certified VAE Training. - Changming Xu; Debangshu Banerjee 001; Deepak Vasisht; Gagandeep Singh 001 (ICLR, 2025)

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)

CRANE: Reasoning with constrained LLM generation. - Debangshu Banerjee 001; Tarun Suresh; Shubham Ugare; Sasa Misailovic; Gagandeep Singh 001 (CoRR, 2025)

DINGO: Constrained Inference for Diffusion LLMs. - Tarun Suresh; Debangshu Banerjee 001; Shubham Ugare; Sasa Misailovic; Gagandeep Singh 001 (CoRR, 2025)

Data Shifts Hurt CoT: A Theoretical Study. - Lang Yin; Debangshu Banerjee 001; Gagandeep Singh 001 (CoRR, 2025)

Universal Synthesis of Differentiably Tunable Numerical Abstract Transformers. - Shaurya Gomber; Debangshu Banerjee 001; Gagandeep Singh 001 (CoRR, 2025)