Robustra: Training Provable Robust Neural Networks over Reference Adversarial Space. - Linyi Li 001; Zexuan Zhong; Bo Li 026; Tao Xie 001 (IJCAI, 2019)

Clustering test steps in natural language toward automating test automation. - Linyi Li 001; Zhenwen Li; Weijie Zhang; Jun Zhou; Pengcheng Wang; Jing Wu; Guanghua He; Xia Zeng; Yuetang Deng; Tao Xie 001 (ESEC/SIGSOFT FSE, 2020)

Provable Robust Learning Based on Transformation-Specific Smoothing. - Linyi Li 001; Maurice Weber; Xiaojun Xu; Luka Rimanic; Tao Xie 001; Ce Zhang 001; Bo Li 026 (CoRR, 2020)

SoK: Certified Robustness for Deep Neural Networks. - Linyi Li 001; Xiangyu Qi; Tao Xie 001; Bo Li 026 (CoRR, 2020)

On the Limitations of Denoising Strategies as Adversarial Defenses. - Zhonghan Niu; Zhaoxi Chen 004; Linyi Li 001; Yubin Yang; Bo Li 026; Jinfeng Yi (CoRR, 2020)

Nonlinear Projection Based Gradient Estimation for Query Efficient Blackbox Attacks. - Huichen Li; Linyi Li 001; Xiaojun Xu; Xiaolu Zhang; Shuang Yang; Bo Li 026 (AISTATS, 2021)

TSS: Transformation-Specific Smoothing for Robustness Certification. - Linyi Li 001; Maurice Weber; Xiaojun Xu; Luka Rimanic; Bhavya Kailkhura; Tao Xie 001; Ce Zhang 001; Bo Li 026 (CCS, 2021)

Progressive-Scale Boundary Blackbox Attack via Projective Gradient Estimation. - Jiawei Zhang; Linyi Li 001; Huichen Li; Xiaolu Zhang; Shuang Yang; Bo Li 026 (ICML, 2021)

TRS: Transferability Reduced Ensemble via Promoting Gradient Diversity and Model Smoothness. - Zhuolin Yang; Linyi Li 001; Xiaojun Xu; Shiliang Zuo; Qian Chen 003; Pan Zhou; Benjamin I. P. Rubinstein; Ce Zhang 001; Bo Li 026 (NeurIPS, 2021)

TRS: Transferability Reduced Ensemble via Encouraging Gradient Diversity and Model Smoothness. - Zhuolin Yang; Linyi Li 001; Xiaojun Xu; Shiliang Zuo; Qian Chen 003; Benjamin I. P. Rubinstein; Ce Zhang 001; Bo Li 026 (CoRR, 2021)

Robustness Certification of Visual Perception Models via Camera Motion Smoothing. - Hanjiang Hu; Zuxin Liu; Linyi Li 001; Jiacheng Zhu; Ding Zhao (CoRL, 2022)

COPA: Certifying Robust Policies for Offline Reinforcement Learning against Poisoning Attacks. - Fan Wu 011; Linyi Li 001; Huan Zhang 001; Bhavya Kailkhura; Krishnaram Kenthapadi; Ding Zhao; Bo Li 026 (ICLR, 2022)

CROP: Certifying Robust Policies for Reinforcement Learning through Functional Smoothing. - Fan Wu 011; Linyi Li 001; Zijian Huang 002; Yevgeniy Vorobeychik; Ding Zhao; Bo Li 026 (ICLR, 2022)

On the Certified Robustness for Ensemble Models and Beyond. - Zhuolin Yang; Linyi Li 001; Xiaojun Xu; Bhavya Kailkhura; Tao Xie 001; Bo Li 026 (ICLR, 2022)

TPC: Transformation-Specific Smoothing for Point Cloud Models. - Wenda Chu; Linyi Li 001; Bo Li 026 (ICML, 2022)

Double Sampling Randomized Smoothing. - Linyi Li 001; Jiawei Zhang; Tao Xie 001; Bo Li 026 (ICML, 2022)

Certifying Out-of-Domain Generalization for Blackbox Functions. - Maurice Weber; Linyi Li 001; Boxin Wang; Zhikuan Zhao; Bo Li 026; Ce Zhang 001 (ICML, 2022)

SAPIENTML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions. - Ripon K. Saha; Akira Ura; Sonal Mahajan; Chenguang Zhu 002; Linyi Li 001; Yang Hu; Hiroaki Yoshida; Sarfraz Khurshid; Mukul R. Prasad (ICSE, 2022)

Fairness in Federated Learning via Core-Stability. - Bhaskar Ray Chaudhury; Linyi Li 001; Mintong Kang; Bo Li 026; Ruta Mehta (NeurIPS, 2022)

Certifying Some Distributional Fairness with Subpopulation Decomposition. - Mintong Kang; Linyi Li 001; Maurice Weber; Yang Liu 018; Ce Zhang 001; Bo Li 026 (NeurIPS, 2022)

LOT: Layer-wise Orthogonal Training on Improving l2 Certified Robustness. - Xiaojun Xu; Linyi Li 001; Bo Li 026 (NeurIPS, 2022)

Improving Certified Robustness via Statistical Learning with Logical Reasoning. - Zhuolin Yang; Zhikuan Zhao; Boxin Wang; Jiawei Zhang; Linyi Li 001; Hengzhi Pei; Bojan Karlas; Ji Liu 002; Heng Guo 001; Ce Zhang 001; Bo Li 026 (NeurIPS, 2022)

General Cutting Planes for Bound-Propagation-Based Neural Network Verification. - Huan Zhang 001; Shiqi Wang 002; Kaidi Xu; Linyi Li 001; Bo Li 026; Suman Jana; Cho-Jui Hsieh; J. Zico Kolter (NeurIPS, 2022)

COPA: Certifying Robust Policies for Offline Reinforcement Learning against Poisoning Attacks. - Fan Wu 011; Linyi Li 001; Chejian Xu; Huan Zhang 001; Bhavya Kailkhura; Krishnaram Kenthapadi; Ding Zhao; Bo Li 026 (CoRR, 2022)

FOCUS: Fairness via Agent-Awareness for Federated Learning on Heterogeneous Data. - Wenda Chu; Chulin Xie; Boxin Wang; Linyi Li 001; Lang Yin; Han Zhao 002; Bo Li 026 (CoRR, 2022)

Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects. - Linyi Li 001; Yuhao Zhang 005; Luyao Ren; Yingfei Xiong 001; Tao Xie 001 (ICSE, 2023)

FaShapley: Fast and Approximated Shapley Based Model Pruning Towards Certifiably Robust DNNs. - Mintong Kang; Linyi Li 001; Bo Li 026 (SaTML, 2023)

CARE: Certifiably Robust Learning with Reasoning via Variational Inference. - Jiawei Zhang; Linyi Li 001; Ce Zhang 001; Bo Li 026 (SaTML, 2023)

SoK: Certified Robustness for Deep Neural Networks. - Linyi Li 001; Tao Xie 001; Bo Li 026 (SP, 2023)

Can Pruning Improve Certified Robustness of Neural Networks? - Zhangheng Li; Tianlong Chen; Linyi Li 001; Bo Li 026; Zhangyang Wang (Trans. Mach. Learn. Res., 2023)

Pixel-wise Smoothing for Certified Robustness against Camera Motion Perturbations. - Hanjiang Hu; Zuxin Liu; Linyi Li 001; Jiacheng Zhu; Ding Zhao (AISTATS, 2024)

COLEP: Certifiably Robust Learning-Reasoning Conformal Prediction via Probabilistic Circuits. - Mintong Kang; Nezihe Merve Gürel; Linyi Li 001; Bo Li 026 (ICLR, 2024)

Effects of Exponential Gaussian Distribution on (Double Sampling) Randomized Smoothing. - Youwei Shu; Xi Xiao; Derui Wang; Yuxin Cao; Siji Chen; Jason Xue 002; Linyi Li 001; Bo Li 026 (ICML, 2024)

InfiBench: Evaluating the Question-Answering Capabilities of Code Large Language Models. - Linyi Li 001; Shijie Geng; Zhenwen Li; Yibo He; Hao Yu; Ziyue Hua; Guanghan Ning; Siwei Wang; Tao Xie 001; Hongxia Yang (NeurIPS, 2024)

COMMIT: Certifying Robustness of Multi-Sensor Fusion Systems against Semantic Attacks. - Zijian Huang 002; Wenda Chu; Linyi Li 001; Chejian Xu; Bo Li 026 (CoRR, 2024)

InfiCoder-Eval: Systematically Evaluating the Question-Answering Capabilities of Code Large Language Models. - Linyi Li 001; Shijie Geng; Zhenwen Li; Yibo He; Hao Yu; Ziyue Hua; Guanghan Ning; Siwei Wang; Tao Xie 001; Hongxia Yang (CoRR, 2024)

The First Prompt Counts the Most! An Evaluation of Large Language Models on Iterative Example-based Code Generation. - Yingjie Fu; Bozhou Li; Linyi Li 001; Wentao Zhang; Tao Xie 001 (CoRR, 2024)

Data and System Perspectives of Sustainable Artificial Intelligence. - Tao Xie 001; David Harel; Dezhi Ran; Zhenwen Li; Maoliang Li; Zhi Yang; Leye Wang; Xiang Chen; Ying Zhang 012; Wentao Zhang; Meng Li; Chen Zhang; et al. (CoRR, 2025)