BERT is not The Count: Learning to Match Mathematical Statements with Proofs
Comments Accepted to the Conference of the European Chapter of the Association for Computational Linguistics (EACL), 2023; 14 pages. arXiv admin note: substantial text overlap with arXiv:2102.02110