Sign in
Zhiming Chi
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Data Driven
General Theory
Neural Network Model
Face Verification
Top Venues
CoRR
</>
Publications
</>
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)