Debangshu Banerjee

26 papers A* 6B 1Journal 18Unranked 1

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	DafnyPro: LLM-Assisted Automated Verification for Dafny Programs. CoRR Debangshu Banerjee, Olivier Bouissou, Stefan Zetzsche
2026	J	`jnl`	SEVerA: Verified Synthesis of Self-Evolving Agents. CoRR Debangshu Banerjee, Changming Xu, Gagandeep Singh
2025	J	`jnl`	BEAVER: An Efficient Deterministic LLM Verifier. CoRR Tarun Suresh, Nalin Wadhwa, Debangshu Banerjee, Gagandeep Singh
2025	A*	`conf`	CRANE: Reasoning with constrained LLM generation. ICML Debangshu Banerjee, Tarun Suresh, Shubham Ugare, Sasa Misailovic, Gagandeep Singh
2025	J	`jnl`	CRANE: Reasoning with constrained LLM generation. CoRR Debangshu Banerjee, Tarun Suresh, Shubham Ugare, Sasa Misailovic, Gagandeep Singh
2025	J	`jnl`	DINGO: Constrained Inference for Diffusion LLMs. CoRR Tarun Suresh, Debangshu Banerjee, Shubham Ugare, Sasa Misailovic, Gagandeep Singh
2025	J	`jnl`	Data Shifts Hurt CoT: A Theoretical Study. CoRR Lang Yin, Debangshu Banerjee, Gagandeep Singh
2025	J	`jnl`	Safety and Trust in Artificial Intelligence with Abstract Interpretation. Found. Trends Program. Lang. Gagandeep Singh, Jacob Laurel, Sasa Misailovic, Debangshu Banerjee, Avaljot Singh, Changming Xu, Shubham Ugare, Huan Zhang
2025	A*	`conf`	Support is All You Need for Certified VAE Training. ICLR Changming Xu, Debangshu Banerjee, Deepak Vasisht, Gagandeep Singh
2025	J	`jnl`	Support is All You Need for Certified VAE Training. CoRR Changming Xu, Debangshu Banerjee, Deepak Vasisht, Gagandeep Singh
2025	J	`jnl`	Universal Synthesis of Differentiably Tunable Numerical Abstract Transformers. CoRR Shaurya Gomber, Debangshu Banerjee, Gagandeep Singh
2024	A*	`conf`	Incremental Randomized Smoothing Certification. ICLR Shubham Ugare, Tarun Suresh, Debangshu Banerjee, Gagandeep Singh, Sasa Misailovic
2024	J	`jnl`	Input-Relational Verification of Deep Neural Networks. Proc. ACM Program. Lang. Debangshu Banerjee, Changming Xu, Gagandeep Singh
2024	A*	`conf`	Interpreting Robustness Proofs of Deep Neural Networks. ICLR Debangshu Banerjee, Avaljot Singh, Gagandeep Singh
2024	A*	`conf`	Relational DNN Verification With Cross Executional Bound Refinement. ICML Debangshu Banerjee, Gagandeep Singh
2024	J	`jnl`	Relational DNN Verification With Cross Executional Bound Refinement. CoRR Debangshu Banerjee, Gagandeep Singh
2024	A*	`conf`	Relational Verification Leaps Forward with RABBit. NeurIPS Tarun Suresh, Debangshu Banerjee, Gagandeep Singh
2023	J	`jnl`	Incremental Randomized Smoothing Certification. CoRR Shubham Ugare, Tarun Suresh, Debangshu Banerjee, Gagandeep Singh, Sasa Misailovic
2023	J	`jnl`	Incremental Verification of Neural Networks. CoRR Shubham Ugare, Debangshu Banerjee, Sasa Misailovic, Gagandeep Singh
2023	J	`jnl`	Incremental Verification of Neural Networks. Proc. ACM Program. Lang. Shubham Ugare, Debangshu Banerjee, Sasa Misailovic, Gagandeep Singh
2023	J	`jnl`	Interpreting Robustness Proofs of Deep Neural Networks. CoRR Debangshu Banerjee, Avaljot Singh, Gagandeep Singh
2023	J	`jnl`	Realistic walking experience for system-automated virtual reality tour. Multim. Tools Appl. Nilotpal Biswas, Debangshu Banerjee, Samit Bhattacharya
2022	—	`conf`	Minimising the duration of a system-controlled virtual reality tour. ISMAR Adjunct Nilotpal Biswas, Debangshu Banerjee, Samit Bhattacharya
2021	B	`conf`	Natural walking speed prediction in Virtual Reality while using target selection-based locomotion. VRST Nilotpal Biswas, Debangshu Banerjee, Samit Bhattacharya
2021	J	`jnl`	Vertex Guarding for Dynamic Orthogonal Art Galleries. Int. J. Comput. Geom. Appl. Debangshu Banerjee, R. Inkulu
2020	J	`jnl`	Vertex guarding for dynamic orthogonal art galleries. CoRR Debangshu Banerjee, R. Inkulu