NNSMT: Deep Neural Networks for SMT Solvers Fuzzing. - Zifu Yan; Yongjun Wang; Haoran Xu (ICCAI, 2022)