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.
Origine | Fichiers produits par l'(les) auteur(s) |
---|