关注
Linyi Li
标题
引用次数
引用次数
年份
Influence-directed explanations for deep convolutional networks
K Leino, S Sen, A Datta, M Fredrikson, L Li
2018 IEEE international test conference (ITC), 1-8, 2018
662018
Sok: Certified robustness for deep neural networks
L Li, T Xie, B Li
To appear in the IEEE Symposium on Security & Privacy, May 2023, 2020
472020
Tss: Transformation-specific smoothing for robustness certification
L Li*, M Weber*, X Xu, L Rimanic, B Kailkhura, T Xie, C Zhang, B Li
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
37*2021
TRS: Transferability Reduced Ensemble via Encouraging Gradient Diversity and Model Smoothness
Z Yang*, L Li*, X Xu*, S Zuo, Q Chen, B Rubinstein, C Zhang, B Li
Thirty-Fifth Conference on Neural Information Processing Systems. 2021, 2021
23*2021
A model-based framework for cloud API testing
J Wang, X Bai, L Li, Z Ji, H Ma
2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC …, 2017
182017
On the certified robustness for ensemble models and beyond
Z Yang*, L Li*, X Xu, B Kailkhura, T Xie, B Li
International Conference on Learning Representations (ICLR) 2022, 2021
162021
Crop: Certifying robust policies for reinforcement learning through functional smoothing
F Wu, L Li, Z Huang, Y Vorobeychik, D Zhao, B Li
International Conference on Learning Representations (ICLR) 2022, 2021
162021
Robustra: Training Provable Robust Neural Networks over Reference Adversarial Space
L Li*, Z Zhong*, B Li, T Xie
Proceedings of the Twenty-Eighth International Joint Conference on …, 2019
162019
Nonlinear Projection Based Gradient Estimation for Query Efficient Blackbox Attacks
H Li*, L Li*, X Xu, X Zhang, S Yang, B Li
International Conference on Artificial Intelligence and Statistics (AISTATS …, 2021
13*2021
Progressive-scale boundary blackbox attack via projective gradient estimation
J Zhang*, L Li*, H Li, X Zhang, S Yang, B Li
International Conference on Machine Learning (ICML), 12479-12490, 2021
122021
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
Advances in Neural Information Processing Systems 35 (NeurIPS 2022), 2022
72022
On the limitations of denoising strategies as adversarial defenses
Z Niu, Z Chen, L Li, Y Yang, B Li, J Yi
arXiv preprint arXiv:2012.09384, 2020
62020
Clustering test steps in natural language toward automating test automation
L Li, Z Li, W Zhang, J Zhou, P Wang, J Wu, G He, X Zeng, Y Deng, T Xie
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
62020
Certifying Out-of-Domain Generalization for Blackbox Functions
M Weber, L Li, B Wang, Z Zhao, B Li, C Zhang
International Conference on Machine Learning (ICML) 2022, 2022
52022
TPC: Transformation-Specific Smoothing for Point Cloud Models
W Chu, L Li, B Li
International Conference on Machine Learning (ICML) 2022, 2022
52022
Cloud API testing
J Wang, X Bai, H Ma, L Li, Z Ji
2017 IEEE International Conference on Software Testing, Verification and …, 2017
52017
Double Sampling Randomized Smoothing
L Li, J Zhang, T Xie, B Li
International Conference on Machine Learning (ICML) 2022, 2022
42022
COPA: Certifying Robust Policies for Offline Reinforcement Learning against Poisoning Attacks
F Wu*, L Li*, C Xu, H Zhang, B Kailkhura, K Kenthapadi, D Zhao, B Li
International Conference on Learning Representations (ICLR) 2022, 2022
42022
Certifying Some Distributional Fairness with Subpopulation Decomposition
M Kang*, L Li*, M Weber, Y Liu, C Zhang, B Li
Advances in Neural Information Processing Systems 35 (NeurIPS 2022), 2022
32022
Improving certified robustness via statistical learning with logical reasoning
Z Yang*, Z Zhao*, B Wang, J Zhang, L Li, H Pei, B Karlaš, J Liu, H Guo, ...
Advances in Neural Information Processing Systems 35 (NeurIPS 2022), 2022
12022
系统目前无法执行此操作,请稍后再试。
文章 1–20