Shiqi Wang

引用次數

	全部	自 2020 年
引文	3420	3143
H 指數	19	19
i10 指數	23	22

1100

550

275

825

20172018201920202021202220232024202513 65 188 315 400 562 764 1059 40

公開取用

查看全部

11 篇文章

1 篇文章

可供使用

無法使用

根據資金強制性政策

共同作者

Suman JanaAssociate Professor of Computer Science, Columbia University在 cs.columbia.edu 的電子郵件地址已通過驗證
Kaidi XuAssistant Professor, Drexel University在 northeastern.edu 的電子郵件地址已通過驗證
Varun KumarSenior Science Manager, AWS AI Labs在 umd.edu 的電子郵件地址已通過驗證
Zijian WangSenior Scientist @ AWS AI Labs在 stanford.edu 的電子郵件地址已通過驗證
Junfeng YangAssociate Professor of Computer Science, Columbia University在 cs.columbia.edu 的電子郵件地址已通過驗證
Huan ZhangAssistant Professor at University of Illinois Urbana-Champaign在 illinois.edu 的電子郵件地址已通過驗證
Haifeng QianPrincipal Applied Scientist, NVIDIA在 us.ibm.com 的電子郵件地址已通過驗證
Cho-Jui HsiehUniversity of California, Los Angeles在 cs.ucla.edu 的電子郵件地址已通過驗證
Baishakhi RayAssociate Professor, Columbia University在 cs.columbia.edu 的電子郵件地址已通過驗證
Kexin PeiAssistant Professor, Computer Science, University of Chicago在 cs.uchicago.edu 的電子郵件地址已通過驗證
Zico KolterCarnegie Mellon University在 cs.cmu.edu 的電子郵件地址已通過驗證
Yizheng ChenUniversity of Maryland在 umd.edu 的電子郵件地址已通過驗證
Xue LinNortheastern University在 northeastern.edu 的電子郵件地址已通過驗證
Bing XiangHead of AI Research, Goldman Sachs在 gs.com 的電子郵件地址已通過驗證
Ben AthiwaratkunSenior AI Scientist在 amazon.com 的電子郵件地址已通過驗證
Sanjay Krishna GoudaApplied Scientist, Amazon在 amazon.com 的電子郵件地址已通過驗證
Parminder BhatiaChief AI Officer, GE Healthcare在 ge.com 的電子郵件地址已通過驗證
Vikash SehwagSony AI; Princeton University在 princeton.edu 的電子郵件地址已通過驗證
Prateek MittalProfessor, Princeton University在 princeton.edu 的電子郵件地址已通過驗證
Alfred ChenAssistant Professor, University of California, Irvine在 uci.edu 的電子郵件地址已通過驗證

追蹤

Shiqi Wang

Research Scientist, Meta, Llama Team

在 cs.columbia.edu 的電子郵件地址已通過驗證 - 首頁

Large Language Model Trustworthy AI


標題按引用次數排序按年份排序按標題排序	引用次數引用次數	年份
Formal security analysis of neural networks using symbolic intervals S Wang, K Pei, J Whitehouse, J Yang, S Jana USENIX Security 2018, 2018	585	2018
Efficient formal safety analysis of neural networks S Wang, K Pei, J Whitehouse, J Yang, S Jana NeurIPS 2018, 2018	520	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	435	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	431*	2021
Hydra: Pruning adversarially robust neural networks V Sehwag, S Wang, P Mittal, S Jana NeurIPS 2020, 2020	233	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	215	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	150*	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	118	2022
Mixtrain: Scalable training of verifiably robust neural networks S Wang, Y Chen, A Abdou, S Jana arXiv preprint arXiv:1811.02625, 2018	104	2018
Are diffusion models vulnerable to membership inference attacks? J Duan, F Kong, S Wang, X Shi, K Xu ICML 2023, 2023	98	2023
On training robust {PDF} malware classifiers Y Chen, S Wang, D She, S Jana USENIX Security 2020, 2020	94	2020
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	69*	2022
Towards understanding fast adversarial training B Li, S Wang, S Jana, L Carin arXiv preprint arXiv:2006.03089, 2020	54	2020
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	52	2024
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	52	2023
Towards compact and robust deep neural networks V Sehwag, S Wang, P Mittal, S Jana arXiv preprint arXiv:1906.06110, 2019	39	2019
Learning Security Classifiers with Verified Global Robustness Properties Y Chen, S Wang, Y Qin, X Liao, S Jana, D Wagner CCS 2021, 2021	37	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	31	2022
Cost-Aware Robust Tree Ensembles for Security Applications Y Chen, S Wang, W Jiang, A Cidon, S Jana USENIX Security 2021, 2021	27*	2021
Greener yet Powerful: Taming Large Code Generation Models with Quantization X Wei, S Gonugondla, W Ahmad, S Wang, B Ray, H Qian, X Li, V Kumar, ... FSE 2023, 2023	16*	2023

系統目前無法執行作業，請稍後再試。

文章 1–20

每年的引文數

重複引用

合併引文

新增共同作者共同作者

追蹤

引用次數

共同作者