Supporting code for the EACL 2023 paper 'BERT is not The Count: Learning to Match Mathematical Statements with Proofs'
Primary LanguagePython