MATcH Dataset
material
ID: matchdataset
Related Papers
BERT Is Not The Count: Learning to Match Mathematical Statements with Proofs
AbstractWe 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 generally, mathematical article …...