TY  - RPRT
TI  - BERT is not The Count: Learning to Match Mathematical Statements with Proofs
AU  - Weixian Waylon Li
AU  - Yftah Ziser
AU  - Maximin Coavoux
AU  - Shay B. Cohen
PY  - 2023
UR  - https://arxiv.org/abs/2302.09350
ID  - 2302.09350
ER  -