Click here for the following paper.

```
@inproceedings{li-23,
author = "W. Li and Y. Ziser and M. Coavoux and S. B. Cohen",
title = "BERT is not The Count: Learning to Match Mathematical Statements with Proofs",
booktitle = "Proceedings of {EACL}",
year = "2023"
}
```