Large-scale pre-trained models like BERT, have obtained a great success in various Natural
Language Processing (NLP) tasks, while it is still a challenge to adapt them to the math …

Mathematical formulas are commonly used to demonstrate theories and basic fundamentals
in the Science, Technology, Engineering, and Mathematics (STEM) domain. The burgeoning …

We summarize the tasks, protocol, and outcome for the 6th Competition on Recognition of
Handwritten Mathematical Expressions (CROHME), which includes a new formula detection …

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

This paper presents an overview of the 5th Competition on Recognition of Online
Handwritten Mathematical Expressions (CROHME). As in previous years, the main task is …

Abstract The ARQMath Lab at CLEF considers finding answers to new mathematical
questions among posted answers on a community question answering site (Math Stack …

This paper provides an overview of the third and final year of the Answer Retrieval for
Questions on Math (ARQMath-3) lab, run as part of CLEF 2022. ARQMath has aimed to …

Formula retrieval systems using substructure matching are effective, but suffer from slow
retrieval times caused by the complexity of structure matching. We present a specialized …

We present a new search method for mathematical formulas based on Operator Trees
(OPTs) representing the application of operators to operands. Our method provides (1) a …

Mathematical information is essential for technical work, but its creation, interpretation, and
search are challenging. To help address these challenges, researchers have developed …