Learning to Match Mathematical Statements with Proofs

Understand

We introduce a novel task consisting in assigning a proof to a given mathematical statement.

• The task is designed to improve the processing of research-level mathematical texts.
• Applying Natural Language Processing (NLP) tools to research level mathematical articles is both challenging, since it is a highly specialized domain which mixes natural language and mathematical formulae.
• It is also an important requirement for developing tools for mathematical information retrieval and computer-assisted theorem proving.