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 | | |