BERT Is Not The Count: Learning to Match Mathematical Statements with Proofs.

Weixian Waylon Li, Yftah Ziser, Maximin Coavoux, Shay B. Cohen

Browse the full EACL paper archive.