Towards extraction of theorems and proofs in scholarly articles. - Shrey Mishra; Lucas Pluvinage; Pierre Senellart (DocEng, 2021)

Multimodal Machine Learning for Extraction of Theorems and Proofs in the Scientific Literature. - Shrey Mishra; Antoine Gauquier; Pierre Senellart (CoRR, 2023)

Modular Multimodal Machine Learning for Extraction of Theorems and Proofs in Long Scientific Documents. - Shrey Mishra; Antoine Gauquier; Pierre Senellart (JCDL, 2024)

Multimodal Extraction of Proofs and Theorems from the Scientific Literature. (Extraction multimodale de preuves et de théorèmes à partir de la littérature scientifique). - Shrey Mishra (2024)

TheoremView: A Framework for Extracting Theorem-Like Environments from Raw PDFs. - Shrey Mishra; Neil Sharma; Antoine Gauquier; Pierre Senellart (ECIR (5), 2025)

Apprentissage multimodal modulaire pour l'extraction de théorèmes et de preuves dans des documents scientifiques longs. - Shrey Mishra; Antoine Gauquier; Pierre Senellart (EGC, 2025)