BERT Is Not The Count: Learning to Match Mathematical Statements with Proofs Weixian Waylon Li author Yftah Ziser author Maximin Coavoux author Shay B Cohen author 2023-05 text Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics Andreas Vlachos editor Isabelle Augenstein editor Association for Computational Linguistics Dubrovnik, Croatia conference publication li-etal-2023-bert 10.18653/v1/2023.eacl-main.260 https://aclanthology.org/2023.eacl-main.260/ 2023-05 3581 3593