Shiqi Wang

Cited by

	All	Since 2019
Citations	3172	3087
h-index	19	19
i10-index	22	22

860

430

215

645

2017201820192020202120222023202413 65 189 315 400 569 758 853

Public access

View all

10 articles

2 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
Zijian WangSenior Scientist @ AWS AI LabsVerified email at stanford.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
Varun KumarSenior Science Manager, AWS AI LabsVerified email at umd.edu
Haifeng QianPrincipal Applied Scientist, NVIDIAVerified email at us.ibm.com
Kexin PeiAssistant Professor, Computer Science, University of ChicagoVerified email at cs.uchicago.edu
Baishakhi RayAssociate Professor, Columbia UniversityVerified email at cs.columbia.edu
Zico KolterCarnegie Mellon UniversityVerified email at cs.cmu.edu
Yizheng ChenUniversity of MarylandVerified email at umd.edu
Xue LinNortheastern UniversityVerified email at northeastern.edu
Sanjay Krishna GoudaApplied Scientist, AmazonVerified email at amazon.com
Ben AthiwaratkunSenior AI ScientistVerified email at amazon.com
Bing XiangHead of AI Research, Goldman SachsVerified email at gs.com
Parminder BhatiaChief AI Officer, GE HealthcareVerified email at ge.com
Vikash SehwagSony AI; Princeton UniversityVerified email at princeton.edu
Prateek MittalProfessor, Princeton UniversityVerified email at princeton.edu
Alfred ChenAssistant Professor, University of California, IrvineVerified email at uci.edu

Shiqi Wang

Research Scientist, Meta, Llama Team

Verified email at cs.columbia.edu - Homepage

Large Language Model Trustworthy AI


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	566	2018
Efficient formal safety analysis of neural networks S Wang, K Pei, J Whitehouse, J Yang, S Jana NeurIPS 2018, 2018	505	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	427	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	393*	2021
Hydra: Pruning adversarially robust neural networks V Sehwag, S Wang, P Mittal, S Jana NeurIPS 2020, 2020	222	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	190	2021
Multi-lingual Evaluation of Code Generation Models B Athiwaratkun, SK Gouda, Z Wang, X Li, Y Tian, M Tan, WU Ahmad, ... ICLR 2023, 2023	124*	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	103	2022
Mixtrain: Scalable training of verifiably robust neural networks S Wang, Y Chen, A Abdou, S Jana arXiv preprint arXiv:1811.02625, 2018	101	2018
On training robust {PDF} malware classifiers Y Chen, S Wang, D She, S Jana USENIX Security 2020, 2020	92	2020
Are diffusion models vulnerable to membership inference attacks? J Duan, F Kong, S Wang, X Shi, K Xu ICML 2023, 2023	83	2023
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	57*	2022
Towards understanding fast adversarial training B Li, S Wang, S Jana, L Carin arXiv preprint arXiv:2006.03089, 2020	53	2020
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 ACL 2024, 2023	45	2023
Towards compact and robust deep neural networks V Sehwag, S Wang, P Mittal, S Jana arXiv preprint arXiv:1906.06110, 2019	38	2019
Learning Security Classifiers with Verified Global Robustness Properties Y Chen, S Wang, Y Qin, X Liao, S Jana, D Wagner CCS 2021, 2021	36	2021
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	27	2022
Cost-Aware Robust Tree Ensembles for Security Applications Y Chen, S Wang, W Jiang, A Cidon, S Jana USENIX Security 2021, 2021	26	2021
Code-Aware Prompting: A study of Coverage Guided Test Generation in Regression Setting using LLM G Ryan, S Jain, M Shang, S Wang, X Ma, MK Ramanathan, B Ray FSE 2024, 2024	24	2024
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

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