ติดตาม
Zi Wang
Zi Wang
ยืนยันอีเมลแล้วที่ cs.wisc.edu - หน้าแรก
ชื่อ
อ้างโดย
อ้างโดย
ปี
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
1082022
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
302022
Tofu: Target-oriented fuzzer
Z Wang, B Liblit, T Reps
arXiv preprint arXiv:2004.14375, 2020
282020
A quantitative geometric approach to neural-network smoothness
Z Wang, G Prakriya, S Jha
Advances in Neural Information Processing Systems 35, 34201-34215, 2022
142022
On the scalability and memory efficiency of semidefinite programs for Lipschitz constant estimation of neural networks
Z Wang, B Hu, AJ Havens, A Araujo, Y Zheng, Y Chen, S Jha
The Twelfth International Conference on Learning Representations, 2024
102024
Exploring adversarial robustness of deep metric learning
TK Panum, Z Wang, P Kan, E Fernandes, S Jha
arXiv preprint arXiv:2102.07265, 2021
6*2021
Efficient symbolic reasoning for neural-network verification
Z Wang, S Jha
arXiv preprint arXiv:2303.13588, 2023
12023
A New Strongly Polynomial Algorithm for Computing Fisher Market Equilibria with Spending Constraint Utilities
Z Wang
New York University, 2016
12016
PEA: Enhancing LLM Performance on Computational-Reasoning Tasks
Z Wang, S Weng, M Alhanahnah, S Jha, T Reps
arXiv preprint arXiv:2502.10938, 2025
2025
Functional Homotopy: Smoothing Discrete Optimization via Continuous Parameters for LLM Jailbreak Attacks
Z Wang, D Anshumaan, A Hooda, Y Chen, S Jha
arXiv preprint arXiv:2410.04234, 2024
2024
Rethink Diversity in Deep Learning Testing
Z Wang, J Choi, S Jha
CoRR, 2023
2023
ระบบไม่สามารถดำเนินการได้ในขณะนี้ โปรดลองใหม่อีกครั้งในภายหลัง
บทความ 1–11