@inproceedings{li-etal-2023-bert,
    title = "{BERT} Is Not The Count: Learning to Match Mathematical Statements with Proofs",
    author = "Li, Weixian Waylon  and
      Ziser, Yftah  and
      Coavoux, Maximin  and
      Cohen, Shay B.",
    editor = "Vlachos, Andreas  and
      Augenstein, Isabelle",
    booktitle = "Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics",
    month = may,
    year = "2023",
    address = "Dubrovnik, Croatia",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/2023.eacl-main.260/",
    doi = "10.18653/v1/2023.eacl-main.260",
    pages = "3581--3593"
}