Decoding Method 2
method
ID: decodingmethod2
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 …...