Shiqi Wang

Orcid: 0000-0002-6338-1432

Affiliations:

Columbia University, NY, USA

According to our database¹, Shiqi Wang authored at least 32 papers between 2017 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Token Alignment via Character Matching for Subword Completion.

[BibT_eX]

[DOI]

Sujan Kumar Gonugondla

CoRR, 2024

Code-Aware Prompting: A study of Coverage Guided Test Generation in Regression Setting using LLM.

[BibT_eX]

[DOI]

Murali Krishna Ramanathan

Baishakhi Ray

CoRR, 2024

2023

Shifting Attention to Relevance: Towards the Uncertainty Estimation of Large Language Models.

[BibT_eX]

[DOI]

CoRR, 2023

Greener yet Powerful: Taming Large Code Generation Models with Quantization.

[BibT_eX]

[DOI]

Murali Krishna Ramanathan

Parminder Bhatia

Bing Xiang

CoRR, 2023

Towards Greener Yet Powerful Code Generation via Quantization: An Empirical Study.

[BibT_eX]

[DOI]

Xiaokai Wei

Sujan Kumar Gonugondla

Murali Krishna Ramanathan

Parminder Bhatia

Bing Xiang

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Are Diffusion Models Vulnerable to Membership Inference Attacks?

[BibT_eX]

[DOI]

Proceedings of the International Conference on Machine Learning, 2023

Multi-lingual Evaluation of Code Generation Models.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Learning Representations, 2023

ReCode: Robustness Evaluation of Code Generation Models.

[BibT_eX]

[DOI]

Murali Krishna Ramanathan

Dan Roth

Bing Xiang

Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023

2022

Efficient Neural Network Verification Using Branch and Bound

[BibT_eX]

[DOI]

Shiqi Wang

PhD thesis, 2022

Multi-lingual Evaluation of Code Generation Models.

[BibT_eX]

[DOI]

CoRR, 2022

General Cutting Planes for Bound-Propagation-Based Neural Network Verification.

[BibT_eX]

[DOI]

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

A Branch and Bound Framework for Stronger Adversarial Attacks of ReLU Networks.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Machine Learning, 2022

2021

Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Verification.

[BibT_eX]

[DOI]

CoRR, 2021

Cost-Aware Robust Tree Ensembles for Security Applications.

[BibT_eX]

[DOI]

Proceedings of the 30th USENIX Security Symposium, 2021

Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Robustness Verification.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Learning Representations, 2021

Learning Security Classifiers with Verified Global Robustness Properties.

[BibT_eX]

[DOI]

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

Adaptive Verifiable Training Using Pairwise Class Similarity.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Towards Understanding Fast Adversarial Training.

[BibT_eX]

[DOI]

CoRR, 2020

Towards Practical Lottery Ticket Hypothesis for Adversarial Training.

[BibT_eX]

[DOI]

CoRR, 2020

On Pruning Adversarially Robust Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2020

On Training Robust PDF Malware Classifiers.

[BibT_eX]

[DOI]

Proceedings of the 29th USENIX Security Symposium, 2020

HYDRA: Pruning Adversarially Robust Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

2019

Bringing Engineering Rigor to Deep Learning.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 2019

Training Robust Tree Ensembles for Security.

[BibT_eX]

[DOI]

CoRR, 2019

Towards Compact and Robust Deep Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2019

Enhancing Gradient-based Attacks with Symbolic Intervals.

[BibT_eX]

[DOI]

CoRR, 2019

2018

Prediction of a hotspot pattern in keyword search results.

[BibT_eX]

[DOI]

Rebecca J. Passonneau

Comput. Speech Lang., 2018

MixTrain: Scalable Training of Formally Robust Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2018

Formal Security Analysis of Neural Networks using Symbolic Intervals.

[BibT_eX]

[DOI]

Proceedings of the 27th USENIX Security Symposium, 2018

Efficient Formal Safety Analysis of Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

2017

ContexloT: Towards Providing Contextual Integrity to Appified IoT Platforms.

[BibT_eX]

[DOI]

Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017

Shiqi Wang

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...