@inproceedings{premiseselectioninnaturallanguage,
  title = {Premise Selection in Natural Language Mathematical Texts},
  author = {Deborah Ferreira and Andr{\'e} Freitas},
  year = {2020},
  booktitle = {ACL 2020 6},
  url = {https://aclanthology.org/2020.acl-main.657},
}