Despite the central importance of research papers to scientific progress, they can be difficult
to read. Comprehension is often stymied when the information needed to understand a …

Traditional language model-based theorem proving assumes that by training on a sufficient
amount of formal proof data, a model will learn to prove theorems. Our key observation is …

Acronyms are the short forms of phrases that facilitate conveying lengthy sentences in
documents and serve as one of the mainstays of writing. Due to their importance, identifying …

Understanding and creating mathematics using natural mathematical language-the mixture
of symbolic and natural language used by humans-is a challenging and important problem …

Scholarly publications are key to the transfer of knowledge from scholars to others. However,
research papers are information-dense, and as the volume of the scientific literature grows …

Wikipedia combines the power of AI solutions and human reviewers to safeguard article
quality. Quality control objectives include detecting malicious edits, fixing typos, and spotting …

Can machines know what twin prime is? From the composition of this phrase, machines may
guess twin prime is a certain kind of prime, but it is still difficult to deduce exactly what twin …

Computing technology has deeply shaped how academic articles are written and produced,
yet article formats and affordances have changed little over centuries. The status quo …

Scholarly publications are key to the transfer of knowledge from scholars to others. However,
research papers are information-dense, and as the volume of the scientific literature grows …

Acronym identification focuses on finding the acronyms and the phrases that have been
abbreviated, which is crucial for scientific document understanding tasks. However, the …