Premise Selection in Natural Language Mathematical Texts Deborah Ferreira author André Freitas author 2020-07 text Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics Dan Jurafsky editor Joyce Chai editor Natalie Schluter editor Joel Tetreault editor Association for Computational Linguistics Online conference publication ferreira-freitas-2020-premise 10.18653/v1/2020.acl-main.657 https://aclanthology.org/2020.acl-main.657/ 2020-07 7365 7374