Decoding Method 1

Back to List
method ID: decodingmethod1

Related Papers

BERT Is Not The Count: Learning to Match Mathematical Statements with Proofs

Authors: nan

Publication: TIPSTER (2023)

DOI: nan

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 …...

42735