Shrey Mishra

Orcid: 0009-0004-2357-9593

According to our database1, Shrey Mishra authored at least 6 papers between 2021 and 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Apprentissage multimodal modulaire pour l'extraction de théorèmes et de preuves dans des documents scientifiques longs.
Proceedings of the Extraction et Gestion des Connaissances, EGC 2025, 2025

TheoremView: A Framework for Extracting Theorem-Like Environments from Raw PDFs.
Proceedings of the Advances in Information Retrieval, 2025

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).
PhD thesis, 2024

Modular Multimodal Machine Learning for Extraction of Theorems and Proofs in Long Scientific Documents.
Proceedings of the 24th ACM/IEEE Joint Conference on Digital Libraries, 2024

2023
Multimodal Machine Learning for Extraction of Theorems and Proofs in the Scientific Literature.
CoRR, 2023

2021
Towards extraction of theorems and proofs in scholarly articles.
Proceedings of the DocEng '21: ACM Symposium on Document Engineering 2021, 2021


  Loading...