Login / Signup
Zifu Yan
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Fuzzy Logic
Learning Rules
Modulo Theories
Neural Network
Top Venues
ICCAI
</>
Publications
</>
Zifu Yan
,
Yongjun Wang
,
Haoran Xu
NNSMT: Deep Neural Networks for SMT Solvers Fuzzing.
ICCAI
(2022)