Zifu Yan, Yongjun Wang, Haoran Xu. NNSMT: Deep Neural Networks for SMT Solvers Fuzzing. In ICCAI '22: 8th International Conference on Computing and Artificial Intelligence, Tianjin, China, March 18 - 21, 2022. pages 46-53, ACM, 2022. [doi]
Abstract is missing.