Towards Extraction of Theorems and Proofs in Scholarly Articles

Shrey Mishra (1) , Lucas Pluvinage (1) , Pierre Senellart (1, 2)

1 VALDA - Value from Data
2 IUF - Institut universitaire de France

Scholarly articles in mathematical fields often feature mathematical statements (theorems, propositions, etc.) and their proofs. In this paper, we present preliminary work for extracting such information from PDF documents, with several types of approaches: vision (using YOLO), natural language (with transformers), and styling information (with linear conditional random fields). Our main task is to identify which parts of the paper to label as theorem-like environments and proofs. We rely on a dataset collected from arXiv, with LaTeX sources of research articles used to train the models.

Mots clés: information extraction; scholarly articles; theorems; proofs

Domaines: Intelligence artificielle [cs.AI]

Shrey Mishra, Lucas Pluvinage, Pierre Senellart. Towards Extraction of Theorems and Proofs in Scholarly Articles. DocEng '21 - 21st ACM Symposium on Document Engineering, Aug 2021, Limerick, Ireland. ⟨hal-03293643⟩