Structural coverage criteria for neural networks could be misleading. - Zenan Li; Xiaoxing Ma; Chang Xu 001; Chun Cao (ICSE (NIER), 2019)

Fast Robustness Prediction for Deep Neural Network. - Yue-Huan Wang; Zenan Li; Jingwei Xu 001; Ping Yu 004; Xiaoxing Ma (Internetware, 2019)

Boosting operational DNN testing efficiency through conditioning. - Zenan Li; Xiaoxing Ma; Chang Xu 001; Chun Cao; Jingwei Xu 001; Jian Lü 001 (ESEC/SIGSOFT FSE, 2019)

Operational calibration: debugging confidence errors for DNNs in the field. - Zenan Li; Xiaoxing Ma; Chang Xu 001; Jingwei Xu 001; Chun Cao; Jian Lu 001 (ESEC/SIGSOFT FSE, 2020)

Predicted Robustness as QoS for Deep Neural Network Models. - Yue-Huan Wang; Zenan Li; Jingwei Xu 001; Ping Yu 004; Taolue Chen 001; Xiaoxing Ma (J. Comput. Sci. Technol., 2020)

A Network Topology Awareness Based Probabilistic Broadcast Protocol for Data Transmission in Mobile Ad Hoc Networks. - Jun Cai; Zeting Yu; Zenan Li; Han Han; Bo Zhang 007; Xiaodong Yi 002 (ICCCS, 2021)

Joint Distribution across Representation Space for Out-of-Distribution Detection. - Jingwei Xu 001; Siyuan Zhu; Zenan Li; Chang Xu 001 (CoRR, 2021)

Towards effective metamorphic testing by algorithm stability for linear classification programs. - Yingzhuo Yang; Zenan Li; Huiyan Wang 001; Chang Xu 001; Xiaoxing Ma (J. Syst. Softw., 2021)

On Collective Robustness of Bagging Against Data Poisoning. - Ruoxin Chen; Zenan Li; Jie Li 002; Junchi Yan; Chentao Wu (ICML, 2022)

Fair Representation Learning: An Alternative to Mutual Information. - Ji Liu; Zenan Li; Yuan Yao 001; Feng Xu 007; Xiaoxing Ma; Miao Xu 001; Hanghang Tong (KDD, 2022)

GraphDE: A Generative Framework for Debiased Learning and Out-of-Distribution Detection on Graphs. - Zenan Li; Qitian Wu; Fan Nie; Junchi Yan (NeurIPS, 2022)

NodeFormer: A Scalable Graph Structure Learning Transformer for Node Classification. - Qitian Wu; Wentao Zhao; Zenan Li; David P. Wipf; Junchi Yan (NeurIPS, 2022)

A Deep Learning Dataloader with Shared Data Preparation. - Jian Xie; Jingwei Xu 001; Guochang Wang; Yuan Yao 001; Zenan Li; Chun Cao; Hanghang Tong (NeurIPS, 2022)

Mind Your Solver! On Adversarial Attack and Defense for Combinatorial Optimization. - Han Lu; Zenan Li; Runzhong Wang; Qibing Ren; Junchi Yan; Xiaokang Yang 001 (CoRR, 2022)

Softened Symbol Grounding for Neuro-symbolic Systems. - Zenan Li; Yuan Yao 001; Taolue Chen 001; Jingwei Xu 001; Chun Cao; Xiaoxing Ma; Jian Lü 001 (ICLR, 2023)

Learning with Logical Constraints but without Shortcut Satisfaction. - Zenan Li; Zehua Liu; Yuan Yao 001; Jingwei Xu 001; Taolue Chen 001; Xiaoxing Ma; Jian Lü 001 (ICLR, 2023)

ROCO: A General Framework for Evaluating Robustness of Combinatorial Optimization Solvers on Graphs. - Han Lu; Zenan Li; Runzhong Wang; Qibing Ren; Xijun Li; Mingxuan Yuan; Jia Zeng; Xiaokang Yang 001; Junchi Yan (ICLR, 2023)

Lightweight Approaches to DNN Regression Error Reduction: An Uncertainty Alignment Perspective. - Zenan Li; Maorun Zhang; Jingwei Xu 001; Yuan Yao 001; Chun Cao; Taolue Chen 001; Xiaoxing Ma; Jian Lu 001 (ICSE, 2023)

Neuro-symbolic Learning Yielding Logical Constraints. - Zenan Li; Yunpeng Huang; Zhaoyu Li; Yuan Yao 001; Jingwei Xu 001; Taolue Chen 001; Xiaoxing Ma; Jian Lu 001 (NeurIPS, 2023)

OriWheelBot: An origami-wheeled robot. - Jie Liu; Zufeng Pang; Zhiyong Li; Guilin Wen; Zhoucheng Su; Junfeng He; Kaiyue Liu; Dezheng Jiang; Zenan Li; Shouyan Chen; Yang Tian; Yi Min Xie; et al. (CoRR, 2023)

Advancing Transformer Architecture in Long-Context Large Language Models: A Comprehensive Survey. - Yunpeng Huang; Jingwei Xu 001; Zixu Jiang; Junyu Lai; Zenan Li; Yuan Yao 001; Taolue Chen 001; Lijuan Yang; Zhou Xin; Xiaoxing Ma (CoRR, 2023)

On the Vulnerability of Graph Learning-based Collaborative Filtering. - Senrong Xu; Liangyue Li; Zenan Li; Yuan Yao 001; Feng Xu 007; Zulong Chen; Quan Lu; Hanghang Tong (ACM Trans. Inf. Syst., 2023)

Uncertainty-Aware Decision Transformer for Stochastic Driving Environments. - Zenan Li; Fan Nie; Qiao Sun; Fang Da; Hang Zhao (CoRL, 2024)

Boosting Offline Reinforcement Learning for Autonomous Driving with Hierarchical Latent Skills. - Zenan Li; Fan Nie; Qiao Sun; Fang Da; Hang Zhao (ICRA, 2024)

Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency. - Zenan Li; Yifan Wu; Zhaoyu Li; Xinming Wei; Xian Zhang; Fan Yang; Xiaoxing Ma (NeurIPS, 2024)

Neuro-Symbolic Data Generation for Math Reasoning. - Zenan Li; Zhi Zhou; Yuan Yao 001; Xian Zhang; Yu-Feng Li; Chun Cao; Fan Yang; Xiaoxing Ma (NeurIPS, 2024)

A Survey on Deep Learning for Theorem Proving. - Zhaoyu Li; Jialiang Sun; Logan Murphy; Qidong Su; Zenan Li; Xian Zhang; Kaiyu Yang; Xujie Si (CoRR, 2024)

PyEuclid: A Versatile Formal Plane Geometry System in Python. - Zhaoyu Li; Hangrui Bi; Jialiang Sun; Zenan Li; Kaiyu Yang; Xujie Si (CAV (4), 2025)

Decoupling Training-Free Guided Diffusion by ADMM. - Youyuan Zhang; Zehua Liu; Zenan Li; Zhaoyu Li; James J. Clark; Xujie Si (CVPR, 2025)

Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning. - Zenan Li; Zhaoyu Li; Wen Tang; Xian Zhang; Yuan Yao 001; Xujie Si; Fan Yang; Kaiyu Yang; Xiaoxing Ma (ICLR, 2025)

Short-term traffic flow prediction based on spatial-temporal attention time gated convolutional network with particle swarm optimization. - Zhongxing Li; Zenan Li; Chaofeng Pan; Jian Wang (Appl. Intell., 2025)

Bridging Internal Probability and Self-Consistency for Effective and Efficient LLM Reasoning. - Zhi Zhou; Tan Yuhao; Zenan Li; Yuan Yao 001; Lan-Zhe Guo; Xiaoxing Ma; Yu-Feng Li (CoRR, 2025)

Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models. - Chenrui Cao; Liangcheng Song; Zenan Li; Xinyi Le; Xian Zhang; Hui Xue; Fan Yang (CoRR, 2025)

X-Actor: Emotional and Expressive Long-Range Portrait Acting from Audio. - Chenxu Zhang; Zenan Li; Hongyi Xu; You Xie; Xiaochen Zhao; Tianpei Gu; Guoxian Song; Xin Chen; Chao Liang; Jianwen Jiang; Linjie Luo (CoRR, 2025)

X-UniMotion: Animating Human Images with Expressive, Unified and Identity-Agnostic Motion Latents. - Guoxian Song; Hongyi Xu; Xiaochen Zhao; You Xie; Tianpei Gu; Zenan Li; Chenxu Zhang; Linjie Luo (CoRR, 2025)