/MATcH

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

Primary LanguagePython

Stargazers