The Function Representation of Artificial Neural Network. - Zhongkui Ma (CoRR, 2019)

Verifying Neural Networks by Approximating Convex Hulls. - Zhongkui Ma (ICFEM, 2023)

Formalizing Robustness Against Character-Level Perturbations for Neural Network Language Models. - Zhongkui Ma; Xinguo Feng; Zihan Wang; Shuofeng Liu; Mengyao Ma; Hao Guan; Mark Huasong Meng (ICFEM, 2023)

Uncovering Gradient Inversion Risks in Practical Language Model Training. - Xinguo Feng; Zhongkui Ma; Zihan Wang; Eu Joe Chegne; Mengyao Ma; Alsharif Abuadbba; Guangdong Bai (CCS, 2024)

CORELOCKER: Neuron-level Usage Control. - Zihan Wang; Zhongkui Ma; Xinguo Feng; Ruoxi Sun 001; Hu Wang 005; Minhui Xue 001; Guangdong Bai (SP, 2024)

ReLU Hull Approximation. - Zhongkui Ma; Jiaying Li 001; Guangdong Bai (Proc. ACM Program. Lang., 2024)

AI Model Modulation with Logits Redistribution. - Zihan Wang; Zhongkui Ma; Xinguo Feng; Zhiyang Mei; Ethan Ma; Derui Wang; Minhui Xue 001; Guangdong Bai (WWW, 2025)