Weijie Feng, Binbin Liu, Dongpeng Xu, Qilong Zheng, Yun Xu. NeuReduce: Reducing Mixed Boolean-Arithmetic Expressions by Recurrent Neural Network. In Trevor Cohn, Yulan He, Yang Liu, editors, Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing: Findings, EMNLP 2020, Online Event, 16-20 November 2020. pages 635-644, Association for Computational Linguistics, 2020. [doi]
Abstract is missing.