Premise Selection in Natural Language Mathematical Texts

Deborah Ferreira, André Freitas. Premise Selection in Natural Language Mathematical Texts. In Dan Jurafsky, Joyce Chai, Natalie Schluter, Joel R. Tetreault, editors, Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, ACL 2020, Online, July 5-10, 2020. pages 7365-7374, Association for Computational Linguistics, 2020. [doi]

Abstract

Abstract is missing.