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

Weixian Li | Yftah Ziser | Maximin Coavoux | Shay B. Cohen |

Paper Details:

Month: May
Year: 2023
Location: Dubrovnik, Croatia
Venue: EACL |