Alexandre Rademaker, Guilherme Lima, Renato Cerqueira. Extracting higher-order logic formulas from English sentences. In Mourad Abbas, Abed Alhakim Freihat, editors, Proceedings of the 6th International Conference on Natural Language and Speech Processing (ICNLSP 2023), Virtual Event, 16-17 December 2023. pages 192-199, Association for Computational Linguistics, 2023. [doi]
Abstract is missing.