Natural Language Premise Selection: Finding Supporting Statements for Mathematical Text Deborah Ferreira author André Freitas author 2020-05 text eng Proceedings of the Twelfth Language Resources and Evaluation Conference Nicoletta Calzolari editor Frédéric Béchet editor Philippe Blache editor Khalid Choukri editor Christopher Cieri editor Thierry Declerck editor Sara Goggi editor Hitoshi Isahara editor Bente Maegaard editor Joseph Mariani editor Hélène Mazo editor Asuncion Moreno editor Jan Odijk editor Stelios Piperidis editor European Language Resources Association Marseille, France conference publication 979-10-95546-34-4 ferreira-freitas-2020-natural https://aclanthology.org/2020.lrec-1.266/ 2020-05 2175 2182