Zhongkui Ma

According to our database, Zhongkui Ma authored at least 4 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

ReLU Hull Approximation.

Zhongkui Ma, Jiaying Li, Guangdong Bai

Proc. ACM Program. Lang., January, 2024

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

Proceedings of the Formal Methods and Software Engineering, 2023

Verifying Neural Networks by Approximating Convex Hulls.

Zhongkui Ma

Proceedings of the Formal Methods and Software Engineering, 2023

2019

The Function Representation of Artificial Neural Network.

Zhongkui Ma

CoRR, 2019