Shiqi Wang

Cited by

	All	Since 2019
Citations	2633	2543
h-index	18	18
i10-index	20	20

780

390

195

585

2017201820192020202120222023202414 66 185 314 404 569 773 295

Public access

View all

12 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Suman JanaAssociate Professor of Computer Science, Columbia UniversityVerified email at cs.columbia.edu
Kaidi XuAssistant Professor, Drexel UniversityVerified email at northeastern.edu
Junfeng YangAssociate Professor of Computer Science, Columbia UniversityVerified email at cs.columbia.edu
Huan ZhangAssistant Professor at University of Illinois Urbana-ChampaignVerified email at illinois.edu
Cho-Jui HsiehUniversity of California, Los AngelesVerified email at cs.ucla.edu
Kexin PeiNeubauer Family Assistant Professor, Computer Science, University of ChicagoVerified email at cs.uchicago.edu
Yizheng ChenUniversity of MarylandVerified email at umd.edu
Zico KolterCarnegie Mellon UniversityVerified email at cs.cmu.edu
Zijian WangSenior Scientist @ AWS AI LabsVerified email at stanford.edu
Xue LinNortheastern UniversityVerified email at northeastern.edu
Varun KumarAWS AI LabsVerified email at umd.edu
Baishakhi RayAssociate Professor, Columbia UniversityVerified email at cs.columbia.edu
Ben AthiwaratkunSenior AI ScientistVerified email at amazon.com
Bing XiangHead of AI Research, Goldman SachsVerified email at gs.com
Vikash SehwagSony AI; Princeton UniversityVerified email at princeton.edu
Prateek MittalProfessor, Princeton UniversityVerified email at princeton.edu
Haifeng QianSenior Applied Scientist, AWS AI LabsVerified email at us.ibm.com
Parminder BhatiaChief AI Officer, GE HealthcareVerified email at ge.com
Alfred ChenAssistant Professor, University of California, IrvineVerified email at uci.edu
Earlence FernandesAssistant Professor, UC San DiegoVerified email at ucsd.edu

Shiqi Wang

Applied Scientist, Amazon AWS AI Lab

Verified email at cs.columbia.edu - Homepage

Machine Learning Large Language Model Adversarial Robustness Trustworthy AI ML Security


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Formal security analysis of neural networks using symbolic intervals S Wang, K Pei, J Whitehouse, J Yang, S Jana USENIX Security 2018, 2018	527	2018
Efficient formal safety analysis of neural networks S Wang, K Pei, J Whitehouse, J Yang, S Jana NeurIPS 2018, 2018	463	2018
ContexloT: Towards Providing Contextual Integrity to Appified IoT Platforms. YJ Jia, QA Chen, S Wang, A Rahmati, E Fernandes, ZM Mao, A Prakash, ... NDSS 2017, 2017	399	2017
Beta-crown: Efficient bound propagation with per-neuron split constraints for neural network robustness verification S Wang, H Zhang, K Xu, X Lin, S Jana, CJ Hsieh, JZ Kolter NeurIPS 2021, 2021	290*	2021
Hydra: Pruning adversarially robust neural networks V Sehwag, S Wang, P Mittal, S Jana NeurIPS 2020, 2020	196	2020
Fast and complete: Enabling complete neural network verification with rapid and massively parallel incomplete verifiers K Xu, H Zhang, S Wang, Y Wang, S Jana, X Lin, CJ Hsieh ICLR 2021, 2021	138	2021
Mixtrain: Scalable training of verifiably robust neural networks S Wang, Y Chen, A Abdou, S Jana arXiv preprint arXiv:1811.02625, 2018	98	2018
On training robust {PDF} malware classifiers Y Chen, S Wang, D She, S Jana USENIX Security 2020, 2020	86	2020
Multi-lingual Evaluation of Code Generation Models B Athiwaratkun, SK Gouda, Z Wang, X Li, Y Tian, M Tan, WU Ahmad, ... ICLR 2023, 2023	74*	2023
General Cutting Planes for Bound-Propagation-Based Neural Network Verification H Zhang, S Wang, K Xu, L Li, B Li, S Jana, CJ Hsieh, JZ Kolter NeurIPS 2022, 2022	73	2022
Are diffusion models vulnerable to membership inference attacks? J Duan, F Kong, S Wang, X Shi, K Xu ICML 2023, 2023	47	2023
Towards understanding fast adversarial training B Li, S Wang, S Jana, L Carin arXiv preprint arXiv:2006.03089, 2020	47	2020
Towards compact and robust deep neural networks V Sehwag, S Wang, P Mittal, S Jana arXiv preprint arXiv:1906.06110, 2019	36	2019
Learning Security Classifiers with Verified Global Robustness Properties Y Chen, S Wang, Y Qin, X Liao, S Jana, D Wagner CCS 2021, 2021	32	2021
ReCode: Robustness Evaluation of Code Generation Models S Wang, Z Li, H Qian, C Yang, Z Wang, M Shang, V Kumar, S Tan, B Ray, ... ACL 2023, 2022	25*	2022
Cost-Aware Robust Tree Ensembles for Security Applications Y Chen, S Wang, W Jiang, A Cidon, S Jana USENIX Security 2021, 2021	24	2021
Shifting attention to relevance: Towards the uncertainty estimation of large language models J Duan, H Cheng, S Wang, C Wang, A Zavalny, R Xu, B Kailkhura, K Xu arXiv preprint arXiv:2307.01379, 2023	21	2023
A Branch and Bound Framework for Stronger Adversarial Attacks of ReLU Networks H Zhang, S Wang, K Xu, Y Wang, S Jana, CJ Hsieh, Z Kolter ICML 2022, 2022	19	2022
Towards practical lottery ticket hypothesis for adversarial training B Li, S Wang, Y Jia, Y Lu, Z Zhong, L Carin, S Jana arXiv preprint arXiv:2003.05733, 2020	14	2020
Enhancing gradient-based attacks with symbolic intervals S Wang, Y Chen, A Abdou, S Jana ICML Workshop on Security and Privacy of Machine Learning, 2019	11	2019

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

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors