collaborators

1 paper

cs.CL2023

BERT is not The Count: Learning to Match Mathematical Statements with Proofs

Weixian Waylon Li, Yftah Ziser, Maximin Coavoux +1

We introduce a task consisting in matching a proof to a given mathematical statement. The task fits well within current research on Mathematical Information Retrieval and, more gen…