Communication Dans Un Congrès Année : 2025

TheoremView: A Framework for Extracting Theorem-Like Environments from Raw PDFs

Résumé

This paper presents TheoremView, a novel framework for extracting proofs and theorems from raw PDF scientific papers without requiring LaTeX source files. Our approach combines three modalities (font, text, and vision) with sequential modeling to capture long-term dependencies and layout information. By eliminating OCR preprocessing, TheoremView reduces computational overhead for real-time applications while providing robust automated theorem extraction. Our framework is publicly available at https://theoremkb.org/demo, with a demonstration video at https://theoremkb.org/video.
Fichier principal
Vignette du fichier
main.pdf (1.1 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04894570 , version 1 (17-01-2025)

Licence

Identifiants

  • HAL Id : hal-04894570 , version 1

Citer

Shrey Mishra, Neil Sharma, Antoine Gauquier, Pierre Senellart. TheoremView: A Framework for Extracting Theorem-Like Environments from Raw PDFs. ECIR (European Conference on Information Retrieval), Apr 2025, Lucca, Italy. pp.6. ⟨hal-04894570⟩
0 Consultations
0 Téléchargements

Partager

More