Premise Selection in Natural Language Mathematical Texts

ACL 2020