Zi Wang

202020212022202320245 16 29 59 20

Public access

3 articles

0 articles

available

not available

Based on funding mandates

Somesh JhaLubar Chair of Computer Science, University of WisconsinVerified email at cs.wisc.edu
Aws AlbarghouthiUniversity of Wisconsin–MadisonVerified email at cs.wisc.edu
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of WisconsinVerified email at cs.wisc.edu
Jordan HenkelSenior Scientist, MicrosoftVerified email at cs.wisc.edu
Goutham RamakrishnanMachine Learning Engineer - II, AWS NeuronVerified email at amazon.com
Ben LiblitAmazon Web ServicesVerified email at amazon.com
Earlence FernandesAssistant Professor, UC San DiegoVerified email at ucsd.edu
Thomas Kobber PanumAalborg UniversityVerified email at panum.dk
Alexandre AraujoNew York UniversityVerified email at nyu.edu
Yang ZhengAssistant Professor, UC San DiegoVerified email at eng.ucsd.edu
Aaron HavensUniversity of Illinois Urbana ChampaignVerified email at illinois.edu
Bin HuUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Yudong ChenAssociate Professor, University of Wisconsin-MadisonVerified email at wisc.edu

Zi Wang

Verified email at cs.wisc.edu - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Semantic robustness of models of source code J Henkel, G Ramakrishnan, Z Wang, A Albarghouthi, S Jha, T Reps 2022 IEEE International Conference on Software Analysis, Evolution and …, 2022	80	2022
Interval universal approximation for neural networks Z Wang, A Albarghouthi, G Prakriya, S Jha Proceedings of the ACM on Programming Languages 6 (POPL), 1-29, 2022	23	2022
Tofu: Target-oriented fuzzer Z Wang, B Liblit, T Reps arXiv preprint arXiv:2004.14375, 2020	18	2020
A quantitative geometric approach to neural-network smoothness Z Wang, G Prakriya, S Jha Advances in Neural Information Processing Systems 35, 34201-34215, 2022	7	2022
Exploring adversarial robustness of deep metric learning TK Panum, Z Wang, P Kan, E Fernandes, S Jha arXiv preprint arXiv:2102.07265, 2021	3*	2021
On the scalability and memory efficiency of semidefinite programs for Lipschitz constant estimation of neural networks Z Wang, AJ Havens, A Araujo, Y Zheng, B Hu, Y Chen, S Jha The Twelfth International Conference on Learning Representations, 2023	1	2023
Efficient symbolic reasoning for neural-network verification Z Wang, S Jha arXiv preprint arXiv:2303.13588, 2023	1	2023
A New Strongly Polynomial Algorithm for Computing Fisher Market Equilibria with Spending Constraint Utilities Z Wang New York University, 2016	1	2016
Rethink Diversity in Deep Learning Testing Z Wang, J Choi, S Jha arXiv preprint arXiv:2305.15698, 2023		2023

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

Articles 1–9

Citations per year