default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDShiqi Wang 0002
Person information
- affiliation: Columbia University, NY, USA
Other persons with the same name
- Shiqi Wang 0001
![[0000-0002-3583-959X]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-3583-959X")
— City University of Hong Kong, Hong Kong, SAR, China (and 3 more) - Shiqi Wang 0003 — Nanjing University, Nanjing, China
- Shiqi Wang 0004 — University of Electronic, Science and Technology of China, Chengdu, China
- Shiqi Wang 0005 — Wuhan University, Wuhan, China
- Shiqi Wang 0006 — University of Science and Technology of China, Hefei, China
- Shiqi Wang 0007 — Harbin Institute of Technology, Harbin, China
- Shiqi Wang 0008 — Peking Union Medical College Hospital, Chinese Academy of Medical Sciences and Peking Union Medical College, Beijing, China
- Shiqi Wang 0009 — Fudan University, Software School, Shanghai, China
- Shiqi Wang 0010 — Hohai University, College of IOT Engineering, Jiangsu, China
- Shiqi Wang 0011 — Shanghai Jiao Tong University, China
- Shiqi Wang 0012 — Central South University, School of Computer Science and Engineering, Changsha, China
- Shiqi Wang 0013 — Shandong University of Science and Technology, Qingdao, China
- Shiqi Wang 0014 — Liaoning Petrochemical University, School of Information and Control Engineering, Fushun, China
- Shiqi Wang 0015 — Central South University of Forestry and Technology, College of Computer Science and Information Technology, Changsha, China
- Shiqi Wang 0016 — Sun Yat-sen University, Guangdong Key Laboratory of Big Data Analysis and Processing, Guangzhou, China
- Shiqi Wang 0017 — Beihang University, Beijing, China
- Shiqi Wang 0018 — Chongqing University, China
- Shiqi Wang 0019 — Sounthest University, School of Cyber Science and Engineering, Nanjing, China
- Shiqi Wang 0020 — Xiamen University, School of Informatics, China
- Shiqi Wang 0021 — University of Missouri Columbia, Department of Electrical Engineering and Computer Science, MO, USA
- Shiqi Wang 0022 — University College Dublin, Beijing-Dublin International College, Ireland
- Shiqi Wang 0023 — Peking University, Beijing, China
- Shiqi Wang 0024 — Henan University of Science and Technology, School of Information Engineering, China
- Shiqi Wang 0025 — Jilin University, College of Computer Science and Technology, Changchun, China
- Shiqi Wang 0026 — University of Electronic Science and Technology of China, Shenzhen Institute for Advanced Study, China
- Shiqi Wang 0027 — Shandong Jiaotong University, Shool of Railway Transportation, Jinan, China (and 1 more)
- Shiqi Wang 0028 — Beijing Normal University, Experimental High School, China
- Shiqi Wang 0029 — University of Edinburgh, School of GeoSciences, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2022
[b1]Shiqi Wang:
Efficient Neural Network Verification Using Branch and Bound. Columbia University, USA, 2022
Journal Articles
- 2024
- [j3]Gabriel Ryan, Siddhartha Jain, Mingyue Shang, Shiqi Wang, Xiaofei Ma, Murali Krishna Ramanathan, Baishakhi Ray:
Code-Aware Prompting: A Study of Coverage-Guided Test Generation in Regression Setting using LLM. Proc. ACM Softw. Eng. 1(FSE): 951-971 (2024) - 2019
- [j2]Kexin Pei, Shiqi Wang, Yuchi Tian, Justin Whitehouse, Carl Vondrick, Yinzhi Cao, Baishakhi Ray, Suman Jana, Junfeng Yang:
Bringing Engineering Rigor to Deep Learning. ACM SIGOPS Oper. Syst. Rev. 53(1): 59-67 (2019) - 2018
- [j1]Jie Gao, Axinia Radeva, Chuyao Shen, Shiqi Wang, Qianbo Wang, Rebecca J. Passonneau:
Prediction of a hotspot pattern in keyword search results. Comput. Speech Lang. 48: 80-102 (2018)
Conference and Workshop Papers
- 2024
- [c20]Jinhao Duan, Hao Cheng, Shiqi Wang, Alex Zavalny, Chenan Wang, Renjing Xu, Bhavya Kailkhura, Kaidi Xu:
Shifting Attention to Relevance: Towards the Predictive Uncertainty Quantification of Free-Form Large Language Models. ACL (1) 2024: 5050-5063 - [c19]Ben Athiwaratkun, Shiqi Wang, Mingyue Shang, Yuchen Tian, Zijian Wang, Sujan Kumar Gonugondla, Sanjay Krishna Gouda, Robert Kwiatkowski, Ramesh Nallapati, Parminder Bhatia, Bing Xiang:
Token Alignment via Character Matching for Subword Completion. ACL (Findings) 2024: 15725-15738 - [c18]Hao Ding, Ziwei Fan, Ingo Gühring, Gaurav Gupta, Wooseok Ha, Jun Huan, Linbo Liu, Behrooz Omidvar-Tehrani, Shiqi Wang, Hao Zhou:
Reasoning and Planning with Large Language Models in Code Development. KDD 2024: 6480-6490 - [c17]Jinhao Duan, Shiqi Wang, James Diffenderfer, Lichao Sun, Tianlong Chen, Bhavya Kailkhura, Kaidi Xu:
ReTA: Recursively Thinking Ahead to Improve the Strategic Reasoning of Large Language Models. NAACL-HLT 2024: 2232-2246 - 2023
- [c16]Shiqi Wang, Zheng Li, Haifeng Qian, Chenghao Yang, Zijian Wang, Mingyue Shang, Varun Kumar, Samson Tan, Baishakhi Ray, Parminder Bhatia, Ramesh Nallapati, Murali Krishna Ramanathan, Dan Roth, Bing Xiang:
ReCode: Robustness Evaluation of Code Generation Models. ACL (1) 2023: 13818-13843 - [c15]Ben Athiwaratkun, Sanjay Krishna Gouda, Zijian Wang, Xiaopeng Li, Yuchen Tian, Ming Tan, Wasi Uddin Ahmad, Shiqi Wang, Qing Sun, Mingyue Shang, Sujan Kumar Gonugondla, Hantian Ding, Varun Kumar, Nathan Fulton, Arash Farahani, Siddhartha Jain, Robert Giaquinto, Haifeng Qian, Murali Krishna Ramanathan, Ramesh Nallapati:
Multi-lingual Evaluation of Code Generation Models. ICLR 2023 - [c14]Jinhao Duan, Fei Kong, Shiqi Wang, Xiaoshuang Shi, Kaidi Xu:
Are Diffusion Models Vulnerable to Membership Inference Attacks? ICML 2023: 8717-8730 - [c13]Xiaokai Wei, Sujan Kumar Gonugondla, Shiqi Wang, Wasi Uddin Ahmad, Baishakhi Ray, Haifeng Qian, Xiaopeng Li, Varun Kumar, Zijian Wang, Yuchen Tian, Qing Sun, Ben Athiwaratkun, Mingyue Shang, Murali Krishna Ramanathan, Parminder Bhatia, Bing Xiang:
Towards Greener Yet Powerful Code Generation via Quantization: An Empirical Study. ESEC/SIGSOFT FSE 2023: 224-236 - 2022
- [c12]Huan Zhang, Shiqi Wang, Kaidi Xu, Yihan Wang, Suman Jana, Cho-Jui Hsieh, J. Zico Kolter:
A Branch and Bound Framework for Stronger Adversarial Attacks of ReLU Networks. ICML 2022: 26591-26604 - [c11]Huan Zhang, Shiqi Wang, Kaidi Xu, Linyi Li, Bo Li, Suman Jana, Cho-Jui Hsieh, J. Zico Kolter:
General Cutting Planes for Bound-Propagation-Based Neural Network Verification. NeurIPS 2022 - 2021
- [c10]Shiqi Wang, Kevin Eykholt, Taesung Lee, Jiyong Jang, Ian M. Molloy:
Adaptive Verifiable Training Using Pairwise Class Similarity. AAAI 2021: 10201-10209 - [c9]Yizheng Chen, Shiqi Wang, Yue Qin, Xiaojing Liao, Suman Jana, David A. Wagner:
Learning Security Classifiers with Verified Global Robustness Properties. CCS 2021: 477-494 - [c8]Kaidi Xu, Huan Zhang, Shiqi Wang, Yihan Wang, Suman Jana, Xue Lin, Cho-Jui Hsieh:
Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers. ICLR 2021 - [c7]Shiqi Wang, Huan Zhang, Kaidi Xu, Xue Lin, Suman Jana, Cho-Jui Hsieh, J. Zico Kolter:
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Robustness Verification. NeurIPS 2021: 29909-29921 - [c6]Yizheng Chen, Shiqi Wang, Weifan Jiang, Asaf Cidon, Suman Jana:
Cost-Aware Robust Tree Ensembles for Security Applications. USENIX Security Symposium 2021: 2291-2308 - 2020
- [c5]Vikash Sehwag, Shiqi Wang, Prateek Mittal, Suman Jana:
HYDRA: Pruning Adversarially Robust Neural Networks. NeurIPS 2020 - [c4]Yizheng Chen, Shiqi Wang, Dongdong She, Suman Jana:
On Training Robust PDF Malware Classifiers. USENIX Security Symposium 2020: 2343-2360 - 2018
- [c3]Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana:
Efficient Formal Safety Analysis of Neural Networks. NeurIPS 2018: 6369-6379 - [c2]Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana:
Formal Security Analysis of Neural Networks using Symbolic Intervals. USENIX Security Symposium 2018: 1599-1614 - 2017
- [c1]Yunhan Jack Jia, Qi Alfred Chen, Shiqi Wang, Amir Rahmati, Earlence Fernandes, Zhuoqing Morley Mao, Atul Prakash:
ContexloT: Towards Providing Contextual Integrity to Appified IoT Platforms. NDSS 2017
Informal and Other Publications
- 2024
- [i24]Gabriel Ryan, Siddhartha Jain, Mingyue Shang, Shiqi Wang, Xiaofei Ma, Murali Krishna Ramanathan, Baishakhi Ray:
Code-Aware Prompting: A study of Coverage Guided Test Generation in Regression Setting using LLM. CoRR abs/2402.00097 (2024) - [i23]Ben Athiwaratkun, Shiqi Wang, Mingyue Shang, Yuchen Tian, Zijian Wang, Sujan Kumar Gonugondla, Sanjay Krishna Gouda, Rob Kwiatkowski, Ramesh Nallapati, Bing Xiang:
Token Alignment via Character Matching for Subword Completion. CoRR abs/2403.08688 (2024) - [i22]Yuhao Zhang, Shiqi Wang, Haifeng Qian, Zijian Wang, Mingyue Shang, Linbo Liu, Sanjay Krishna Gouda, Baishakhi Ray, Murali Krishna Ramanathan, Xiaofei Ma, Anoop Deoras:
CodeFort: Robust Training for Code Generation Models. CoRR abs/2405.01567 (2024) - [i21]Nan Jiang, Xiaopeng Li, Shiqi Wang, Qiang Zhou, Soneya Binta Hossain, Baishakhi Ray, Varun Kumar, Xiaofei Ma, Anoop Deoras:
Training LLMs to Better Self-Debug and Explain Code. CoRR abs/2405.18649 (2024) - 2023
- [i20]Jinhao Duan, Fei Kong, Shiqi Wang, Xiaoshuang Shi, Kaidi Xu:
Are Diffusion Models Vulnerable to Membership Inference Attacks? CoRR abs/2302.01316 (2023) - [i19]Xiaokai Wei, Sujan K. Gonugondla, Wasi Uddin Ahmad, Shiqi Wang, Baishakhi Ray, Haifeng Qian, Xiaopeng Li, Varun Kumar, Zijian Wang, Yuchen Tian, Qing Sun, Ben Athiwaratkun, Mingyue Shang, Murali Krishna Ramanathan, Parminder Bhatia, Bing Xiang:
Greener yet Powerful: Taming Large Code Generation Models with Quantization. CoRR abs/2303.05378 (2023) - [i18]Jinhao Duan, Hao Cheng, Shiqi Wang, Chenan Wang, Alex Zavalny, Renjing Xu, Bhavya Kailkhura, Kaidi Xu:
Shifting Attention to Relevance: Towards the Uncertainty Estimation of Large Language Models. CoRR abs/2307.01379 (2023) - 2022
- [i17]Huan Zhang, Shiqi Wang, Kaidi Xu, Linyi Li, Bo Li, Suman Jana, Cho-Jui Hsieh, J. Zico Kolter:
General Cutting Planes for Bound-Propagation-Based Neural Network Verification. CoRR abs/2208.05740 (2022) - [i16]Ben Athiwaratkun, Sanjay Krishna Gouda, Zijian Wang, Xiaopeng Li, Yuchen Tian, Ming Tan, Wasi Uddin Ahmad, Shiqi Wang, Qing Sun, Mingyue Shang, Sujan Kumar Gonugondla, Hantian Ding, Varun Kumar, Nathan Fulton, Arash Farahani, Siddhartha Jain, Robert Giaquinto, Haifeng Qian, Murali Krishna Ramanathan, Ramesh Nallapati, Baishakhi Ray, Parminder Bhatia, Sudipta Sengupta, Dan Roth, Bing Xiang:
Multi-lingual Evaluation of Code Generation Models. CoRR abs/2210.14868 (2022) - [i15]Shiqi Wang, Zheng Li, Haifeng Qian, Chenghao Yang, Zijian Wang, Mingyue Shang, Varun Kumar, Samson Tan, Baishakhi Ray, Parminder Bhatia, Ramesh Nallapati, Murali Krishna Ramanathan, Dan Roth, Bing Xiang:
ReCode: Robustness Evaluation of Code Generation Models. CoRR abs/2212.10264 (2022) - 2021
- [i14]Shiqi Wang, Huan Zhang, Kaidi Xu, Xue Lin, Suman Jana, Cho-Jui Hsieh, J. Zico Kolter:
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Verification. CoRR abs/2103.06624 (2021) - [i13]Yizheng Chen, Shiqi Wang, Yue Qin, Xiaojing Liao, Suman Jana, David A. Wagner:
Learning Security Classifiers with Verified Global Robustness Properties. CoRR abs/2105.11363 (2021) - 2020
- [i12]Vikash Sehwag, Shiqi Wang, Prateek Mittal, Suman Jana:
On Pruning Adversarially Robust Neural Networks. CoRR abs/2002.10509 (2020) - [i11]Bai Li, Shiqi Wang, Yunhan Jia, Yantao Lu, Zhenyu Zhong, Lawrence Carin, Suman Jana:
Towards Practical Lottery Ticket Hypothesis for Adversarial Training. CoRR abs/2003.05733 (2020) - [i10]Bai Li, Shiqi Wang, Suman Jana, Lawrence Carin:
Towards Understanding Fast Adversarial Training. CoRR abs/2006.03089 (2020) - [i9]Kaidi Xu, Huan Zhang, Shiqi Wang, Yihan Wang, Suman Jana, Xue Lin, Cho-Jui Hsieh:
Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers. CoRR abs/2011.13824 (2020) - [i8]Shiqi Wang, Kevin Eykholt, Taesung Lee, Jiyong Jang, Ian M. Molloy:
Adaptive Verifiable Training Using Pairwise Class Similarity. CoRR abs/2012.07887 (2020) - 2019
- [i7]Yizheng Chen, Shiqi Wang, Dongdong She, Suman Jana:
On Training Robust PDF Malware Classifiers. CoRR abs/1904.03542 (2019) - [i6]Shiqi Wang, Yizheng Chen, Ahmed Abdou, Suman Jana:
Enhancing Gradient-based Attacks with Symbolic Intervals. CoRR abs/1906.02282 (2019) - [i5]Vikash Sehwag, Shiqi Wang, Prateek Mittal, Suman Jana:
Towards Compact and Robust Deep Neural Networks. CoRR abs/1906.06110 (2019) - [i4]Yizheng Chen, Shiqi Wang, Weifan Jiang, Asaf Cidon, Suman Jana:
Training Robust Tree Ensembles for Security. CoRR abs/1912.01149 (2019) - 2018
- [i3]Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana:
Formal Security Analysis of Neural Networks using Symbolic Intervals. CoRR abs/1804.10829 (2018) - [i2]Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana:
Efficient Formal Safety Analysis of Neural Networks. CoRR abs/1809.08098 (2018) - [i1]Shiqi Wang, Yizheng Chen, Ahmed Abdou, Suman Jana:
MixTrain: Scalable Training of Formally Robust Neural Networks. CoRR abs/1811.02625 (2018)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-04 21:44 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
