Zi Wang

According to our database, Zi Wang authored at least 10 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

PEA: Enhancing LLM Performance on Computational-Reasoning Tasks.

Zi Wang, Shiwei Weng, Mohannad Alhanahnah, Somesh Jha, Thomas W. Reps

CoRR, February, 2025

Functional Homotopy: Smoothing Discrete Optimization via Continuous Parameters for LLM Jailbreak Attacks.

Zi Wang, Divyam Anshumaan, Ashish Hooda, Yudong Chen, Somesh Jha

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

2024

On the Scalability and Memory Efficiency of Semidefinite Programs for Lipschitz Constant Estimation of Neural Networks.

Zi Wang, Bin Hu, Aaron J. Havens, Alexandre Araujo, Yang Zheng, Yudong Chen, Somesh Jha

Proceedings of the Twelfth International Conference on Learning Representations, 2024

2023

Rethink Diversity in Deep Learning Testing.

Zi Wang, Jihye Choi, Somesh Jha

CoRR, 2023

Efficient Symbolic Reasoning for Neural-Network Verification.

Zi Wang, Somesh Jha, Krishnamurthy Dvijotham

CoRR, 2023

2022

Interval universal approximation for neural networks.

Zi Wang, Aws Albarghouthi, Gautam Prakriya, Somesh Jha

Proc. ACM Program. Lang., 2022

Semantic Robustness of Models of Source Code.

Jordan Henkel, Goutham Ramakrishnan, Zi Wang, Aws Albarghouthi, Somesh Jha, Thomas W. Reps

Proceedings of the IEEE International Conference on Software Analysis, 2022

A Quantitative Geometric Approach to Neural-Network Smoothness.

Zi Wang, Gautam Prakriya, Somesh Jha

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

2021

Exploring Adversarial Robustness of Deep Metric Learning.

Thomas Kobber Panum, Zi Wang, Pengyu Kan, Earlence Fernandes, Somesh Jha

CoRR, 2021

2020

Abstract Universal Approximation for Neural Networks.

Zi Wang, Aws Albarghouthi, Somesh Jha

CoRR, 2020