Automating discovery in mathematics and science will require sophisticated methods of
information extraction and abstract reasoning, including models that can convincingly …

Informal mathematical text underpins real-world quantitative reasoning and communication.
Developing sophisticated methods of retrieval and abstraction from this dual modality is …

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

The articulation of mathematical arguments is a fundamental part of scientific reasoning and
communication. Across many disciplines, expressing relations and interdependencies …