PROVEN: Verifying Robustness of Neural Networks with a Probabilistic Approach
Lily Weng, Pin-Yu Chen, Lam M. Nguyen, M. Squillante +3 more
Researcher profile · Semantic Scholar
Lily Weng, Pin-Yu Chen, Lam M. Nguyen, M. Squillante +3 more
Shashanka Ubaru, I. Akhalwaya, M. Squillante, K. Clarkson +1 more
Songtao Lu, Xiao-Dong Cui, M. Squillante, Brian Kingsbury +1 more
T. Weng, Pin-Yu Chen, Lam M. Nguyen, M. Squillante +2 more
Songtao Lu, Siliang Zeng, Xiao-Dong Cui, M. Squillante +4 more
I. Akhalwaya, Shashanka Ubaru, K. Clarkson, M. Squillante +5 more
A. Dieker, Soumyadip Ghosh, M. Squillante
Nian Si, J. Blanchet, Soumyadip Ghosh, M. Squillante
Michael W. Davis, Yingdong Lu, Mayank Sharma, M. Squillante +1 more
Xu-Hui Zhang, J. Blanchet, Soumyadip Ghosh, M. Squillante
Vasileios Kalantzis, Anshul Gupta, L. Horesh, T. Nowicki +4 more
Soumyadip Ghosh, M. Squillante, E. Wollega
M. Larrañaga, O. Boxma, R. Núñez-Queija, M. Squillante
Yingdong Lu, Siva Theja Maguluri, M. Squillante, Tonghoon Suk
Soumyadip Ghosh, M. Squillante
Yingdong Lu, Siva Theja Maguluri, M. Squillante, Tonghoon Suk
Xue-Feng Gao, Yingdong Lu, Mayank Sharma, M. Squillante +1 more
Vasileios Kalantzis, M. Squillante, Chai-Wah Wu, Anshul Gupta +3 more
M. Squillante, D. Towsley, S. Barker
Chai-Wah Wu, M. Squillante, V. Kalantzis, L. Horesh
Pei-Zhong Ju, Sen Lin, M. Squillante, Yitao Liang +1 more
Soumyadip Ghosh, M. Squillante, E. Wollega
Yingdong Lu, M. Squillante, Chai-Wah Wu
Kyomin Jung, Yingdong Lu, Devavrat Shah, Mayank Sharma +1 more
Yingdong Lu, Siva Theja Maguluri, M. Squillante, Tonghoon Suk
Chai-Wah Wu, M. Squillante, Vasileios Kalantzis, L. Horesh
L. Lastras, B. Trager, J. Lenchner, Wojciech Szpankowski +3 more
Yingdong Lu, Siva Theja Maguluri, M. Squillante, Tonghoon Suk
Yingdong Lu, M. Squillante, Chai-Wah Wu
Yingdong Lu, Siva Theja Maguluri, M. Squillante, Chai-Wah Wu
Yingdong Lu, Mayank Sharma, M. Squillante, Bo Zhang
Yingdong Lu, M. Squillante, David D. Yao
Yingdong Lu, M. Squillante, Chai-Wah Wu, Bo Zhang
Vasileios Kalantzis, M. Squillante, Wah-Wu Chai
Wei-Qin Chen, M. Squillante, Chai-Wah Wu, Santiago Paternain
Yingdong Lu, M. Squillante, Chai-Wah Wu
Vasileios Kalantzis, M. Squillante, Shashanka Ubaru, L. Horesh
Yingdong Lu, M. Squillante, Tonghoon Suk
Yingdong Lu, M. Squillante, Chai-Wah Wu
Xue-Feng Gao, Yingdong Lu, Mayank Sharma, M. Squillante +1 more
Wander S. Wadman, M. Squillante, Soumyadip Ghosh
E. Wollega, Soumyadip Ghosh, M. Squillante
Yingdong Lu, Mayank Sharma, M. Squillante
Vasileios Kalantzis, M. Squillante, Wah-Wu Chai
Jose H. Blanchet, M. Squillante, Mario Szegedy, Guanyang Wang
Vasileios Kalantzis, M. Squillante, Chai-Wah Wu
L. Lastras, B. Trager, Jonathan Lenchner, Wojciech Szpankowski +3 more