Login / Signup
Zongxin Liu
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 5
Top Topics
Sat Solvers
Neural Network
Argumentation Frameworks
Conflict Free
Top Venues
CoRR
TASE
Middleware
Enterp. Inf. Syst.
</>
Publications
</>
Zongxin Liu
,
Pengfei Yang
,
Lijun Zhang
,
Xiaowei Huang
DeepCDCL: A CDCL-based Neural Network Verification Framework.
TASE
(2024)
Zongxin Liu
,
Pengfei Yang
,
Lijun Zhang
,
Xiaowei Huang
DeepCDCL: An CDCL-based Neural Network Verification Framework.
CoRR
(2024)
Pengfei Yang
,
Zhiming Chi
,
Zongxin Liu
,
Mengyu Zhao
,
Cheng-Chao Huang
,
Shaowei Cai
,
Lijun Zhang
Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks.
CoRR
(2023)
Yunhao Mao
,
Zongxin Liu
,
Hans-Arno Jacobsen
Reversible conflict-free replicated data types.
Middleware
(2022)
Zongxin Liu
,
Jiaozi Pu
Analysis and research on intelligent manufacturing medical product design and intelligent hospital system dynamics based on machine learning under big data.
Enterp. Inf. Syst.
16 (2) (2022)