TY  - RPRT
TI  - Learning to Match Mathematical Statements with Proofs
AU  - Maximin Coavoux
AU  - Shay B. Cohen
PY  - 2021
UR  - https://arxiv.org/abs/2102.02110
ID  - 2102.02110
ER  -