Debangshu Banerjee

202320247 2

Public access

1 article

0 articles

available

not available

Based on funding mandates

Gagandeep SinghAssistant Professor, Department of Computer Science, UIUCVerified email at illinois.edu
Shubham UgareUniversity of IllinoisVerified email at illinois.edu
Sasa MisailovicUniversity of Illinois at Urbana–ChampaignVerified email at illinois.edu
Tarun SureshUndergraduate Machine Learning Researcher, University of Illinois Urbana-ChampaignVerified email at illinois.edu

Debangshu Banerjee

PhD Student, Computer Science, UIUC

Verified email at illinois.edu - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Incremental verification of neural networks S Ugare, D Banerjee, S Misailovic, G Singh Proceedings of the ACM on Programming Languages 7 (PLDI), 1920-1945, 2023	6	2023
Incremental randomized smoothing certification S Ugare, T Suresh, D Banerjee, G Singh, S Misailovic arXiv preprint arXiv:2305.19521, 2023	2	2023
Vertex guarding for dynamic orthogonal art galleries D Banerjee, R Inkulu International Journal of Computational Geometry & Applications 31 (02n03 …, 2021	2	2021
Dissecting Neural Network Robustness Proofs D Banerjee, A Singh, G Singh The Twelfth International Conference on Learning Representations, 2023		2023
Interpreting Robustness Proofs of Deep Neural Networks D Banerjee, A Singh, G Singh arXiv preprint arXiv:2301.13845, 2023		2023
Input-Relational Verification of Deep Neural Networks D BANERJEE, C XU, G SINGH
Toward Continuous Verification of DNNs S Ugare, D Banerjee, T Suresh, S Misailovic, G Singh

The system can't perform the operation now. Try again later.

Articles 1–7

Citations per year