Login / Signup
Zishan Li
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 2
Top Topics
Main Contribution
Data Mining
Practical Application
Multi Agent
Top Venues
SEKE
ISCC
</>
Publications
</>
Jin Xu
,
Zishan Li
,
Miaomiao Zhang
,
Bowen Du
Conv-Reluplex : A Verification Framework For Convolution Neural Networks (S).
SEKE
(2021)
Jin Xu
,
Zishan Li
,
Bowen Du
,
Miaomiao Zhang
,
Jing Liu
Reluplex made more practical: Leaky ReLU.
ISCC
(2020)