Folgen
Debangshu Banerjee
Debangshu Banerjee
PhD Student, Computer Science, UIUC
Bestätigte E-Mail-Adresse bei illinois.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
62023
Incremental randomized smoothing certification
S Ugare, T Suresh, D Banerjee, G Singh, S Misailovic
arXiv preprint arXiv:2305.19521, 2023
22023
Vertex guarding for dynamic orthogonal art galleries
D Banerjee, R Inkulu
International Journal of Computational Geometry & Applications 31 (02n03 …, 2021
22021
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–7