We stand with Ukraine  

Debangshu Banerjee

Orcid: 0009-0001-0163-9717

Affiliations:
  • University of Illinois at Urbana-Champaign, Urbana, IL, USA
  • Indian Institute of Technology Guwahati, Department of Computer Science and Engineering, India (former)


According to our database1, Debangshu Banerjee authored at least 16 papers between 2021 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Universal Synthesis of Differentiably Tunable Numerical Abstract Transformers.
[BibTeX]
[DOI]
Shaurya Gomber
,
Debangshu Banerjee
,
Gagandeep Singh
CoRR, July, 2025

Data Shifts Hurt CoT: A Theoretical Study.
[BibTeX]
[DOI]
Lang Yin
,
Debangshu Banerjee
,
Gagandeep Singh
CoRR, June, 2025

DINGO: Constrained Inference for Diffusion LLMs.
[BibTeX]
[DOI]
Tarun Suresh
,
Debangshu Banerjee
,
Shubham Ugare
,
Sasa Misailovic
,
Gagandeep Singh
CoRR, May, 2025

CRANE: Reasoning with constrained LLM generation.
[BibTeX]
[DOI]
Debangshu Banerjee
,
Tarun Suresh
,
Shubham Ugare
,
Sasa Misailovic
,
Gagandeep Singh
CoRR, February, 2025

Safety and Trust in Artificial Intelligence with Abstract Interpretation.
[BibTeX]
[DOI]
Gagandeep Singh
,
Jacob Laurel
,
Sasa Misailovic
,
Debangshu Banerjee
,
Avaljot Singh
,
Changming Xu
,
Shubham Ugare
,
Huan Zhang
Found. Trends Program. Lang., 2025

Support is All You Need for Certified VAE Training.
[BibTeX]
[DOI]
Changming Xu
,
Debangshu Banerjee
,
Deepak Vasisht
,
Gagandeep Singh
Proceedings of the Thirteenth International Conference on Learning Representations, 2025

2024
Input-Relational Verification of Deep Neural Networks.
[BibTeX]
[DOI]
Debangshu Banerjee
,
Changming Xu
,
Gagandeep Singh
Proc. ACM Program. Lang., 2024

Relational Verification Leaps Forward with RABBit.
[BibTeX]
[DOI]
Tarun Suresh
,
Debangshu Banerjee
,
Gagandeep Singh
Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

Relational DNN Verification With Cross Executional Bound Refinement.
[BibTeX]
[DOI]
Debangshu Banerjee
,
Gagandeep Singh
Proceedings of the Forty-first International Conference on Machine Learning, 2024

Incremental Randomized Smoothing Certification.
[BibTeX]
[DOI]
Shubham Ugare
,
Tarun Suresh
,
Debangshu Banerjee
,
Gagandeep Singh
,
Sasa Misailovic
Proceedings of the Twelfth International Conference on Learning Representations, 2024

Interpreting Robustness Proofs of Deep Neural Networks.
[BibTeX]
[DOI]
Debangshu Banerjee
,
Avaljot Singh
,
Gagandeep Singh
Proceedings of the Twelfth International Conference on Learning Representations, 2024

2023
Realistic walking experience for system-automated virtual reality tour.
[BibTeX]
[DOI]
Nilotpal Biswas
,
Debangshu Banerjee
,
Samit Bhattacharya
Multim. Tools Appl., May, 2023

Incremental Verification of Neural Networks.
[BibTeX]
[DOI]
Shubham Ugare
,
Debangshu Banerjee
,
Sasa Misailovic
,
Gagandeep Singh
Proc. ACM Program. Lang., 2023

2022
Minimising the duration of a system-controlled virtual reality tour.
[BibTeX]
[DOI]
Nilotpal Biswas
,
Debangshu Banerjee
,
Samit Bhattacharya
Proceedings of the 2022 IEEE International Symposium on Mixed and Augmented Reality Adjunct (ISMAR-Adjunct), 2022

2021
Vertex Guarding for Dynamic Orthogonal Art Galleries.
[BibTeX]
[DOI]
Debangshu Banerjee
,
R. Inkulu
Int. J. Comput. Geom. Appl., 2021

Natural walking speed prediction in Virtual Reality while using target selection-based locomotion.
[BibTeX]
[DOI]
Nilotpal Biswas
,
Debangshu Banerjee
,
Samit Bhattacharya
Proceedings of the VRST '21: 27th ACM Symposium on Virtual Reality Software and Technology, Virtual Event / Osaka, Japan, December 8, 2021


  Loading...