Login / Signup
Zhongkui Ma
ORCID
Publication Activity (10 Years)
Years Active: 2019-2024
Publications (10 Years): 4
Top Topics
Convex Hull
Approximation Error
Neural Network
Finite Set Of Points
Top Venues
ICFEM
Proc. ACM Program. Lang.
CoRR
</>
Publications
</>
Zhongkui Ma
,
Jiaying Li
,
Guangdong Bai
ReLU Hull Approximation.
Proc. ACM Program. Lang.
8 (POPL) (2024)
Zhongkui Ma
Verifying Neural Networks by Approximating Convex Hulls.
ICFEM
(2023)
Zhongkui Ma
,
Xinguo Feng
,
Zihan Wang
,
Shuofeng Liu
,
Mengyao Ma
,
Hao Guan
,
Mark Huasong Meng
Formalizing Robustness Against Character-Level Perturbations for Neural Network Language Models.
ICFEM
(2023)
Zhongkui Ma
The Function Representation of Artificial Neural Network.
CoRR
(2019)