Extracting higher-order logic formulas from English sentences Alexandre Rademaker author Guilherme Lima author Renato Cerqueira author 2023-12 text Proceedings of the 6th International Conference on Natural Language and Speech Processing (ICNLSP 2023) Mourad Abbas editor Abed Alhakim Freihat editor Association for Computational Linguistics Online conference publication rademaker-etal-2023-extracting https://aclanthology.org/2023.icnlsp-1.19/ 2023-12 192 199