| Formal security analysis of neural networks using symbolic intervals S Wang, K Pei, J Whitehouse, J Yang, S Jana USENIX Security 2018, 2018 | 589 | 2018 |
| Efficient formal safety analysis of neural networks S Wang, K Pei, J Whitehouse, J Yang, S Jana NeurIPS 2018, 2018 | 524 | 2018 |
| 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 | 439* | 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 | 435 | 2017 |
| 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 | 219 | 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 | 149* | 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 | 122 | 2022 |
| Are diffusion models vulnerable to membership inference attacks? J Duan, F Kong, S Wang, X Shi, K Xu ICML 2023, 2023 | 107 | 2023 |
| Mixtrain: Scalable training of verifiably robust neural networks S Wang, Y Chen, A Abdou, S Jana arXiv preprint arXiv:1811.02625, 2018 | 105 | 2018 |
| On training robust {PDF} malware classifiers Y Chen, S Wang, D She, S Jana USENIX Security 2020, 2020 | 95 | 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 | 70* | 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 | 56 | 2024 |
| Towards understanding fast adversarial training B Li, S Wang, S Jana, L Carin arXiv preprint arXiv:2006.03089, 2020 | 55 | 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 | 53 | 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 | 34 | 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 |
| 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 Proceedings of the 62nd Annual Meeting of the Association for Computational …, 2024 | 20 | 2024 |
Suman JanaAssociate Professor of Computer Science, Columbia Universitycs.columbia.edu의 이메일 확인됨