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

1 code implementation • 18 Feb 2023 • Weixian Waylon Li, Yftah Ziser, Maximin Coavoux, Shay B. Cohen

While the first decoding method matches a proof to a statement without being aware of other statements or proofs, the second method treats the task as a global matching problem.

Information Retrieval Retrieval