Segueix
Shiqi Wang
Shiqi Wang
Research Scientist, Meta, Llama Team
Correu electrònic verificat a cs.columbia.edu - Pàgina d'inici
Títol
Citada per
Citada per
Any
Formal security analysis of neural networks using symbolic intervals
S Wang, K Pei, J Whitehouse, J Yang, S Jana
USENIX Security 2018, 2018
5842018
Efficient formal safety analysis of neural networks
S Wang, K Pei, J Whitehouse, J Yang, S Jana
NeurIPS 2018, 2018
5242018
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
447*2021
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
4362017
Hydra: Pruning adversarially robust neural networks
V Sehwag, S Wang, P Mittal, S Jana
NeurIPS 2020, 2020
2352020
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
2212021
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
1182022
Are diffusion models vulnerable to membership inference attacks?
J Duan, F Kong, S Wang, X Shi, K Xu
ICML 2023, 2023
1062023
Mixtrain: Scalable training of verifiably robust neural networks
S Wang, Y Chen, A Abdou, S Jana
arXiv preprint arXiv:1811.02625, 2018
1052018
On training robust {PDF} malware classifiers
Y Chen, S Wang, D She, S Jana
USENIX Security 2020, 2020
932020
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
75*2022
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
602024
Towards understanding fast adversarial training
B Li, S Wang, S Jana, L Carin
arXiv preprint arXiv:2006.03089, 2020
562020
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
542023
Towards compact and robust deep neural networks
V Sehwag, S Wang, P Mittal, S Jana
arXiv preprint arXiv:1906.06110, 2019
402019
Learning Security Classifiers with Verified Global Robustness Properties
Y Chen, S Wang, Y Qin, X Liao, S Jana, D Wagner
CCS 2021, 2021
362021
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
342022
Cost-Aware Robust Tree Ensembles for Security Applications
Y Chen, S Wang, W Jiang, A Cidon, S Jana
USENIX Security 2021, 2021
28*2021
Shifting attention to relevance: Towards the predictive uncertainty quantification of free-form large language models
J Duan, H Cheng, S Wang, A Zavalny, C Wang, R Xu, B Kailkhura, K Xu
arXiv preprint arXiv:2307.01379, 2023
262023
En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.
Articles 1–20