@misc{indiciae8755e3787e7c,
  title = {Learning to Match Mathematical Statements with Proofs},
  author = {Maximin Coavoux and Shay B. Cohen},
  year = {2021},
  url = {https://arxiv.org/abs/2102.02110},
  note = {Source identifier: 2102.02110}
}