Shrey Mishra

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 2

Top Topics

Automatic Extraction

Sequent Calculus

Top Venues

Publications

Shrey Mishra, Antoine Gauquier, Pierre Senellart
Multimodal Machine Learning for Extraction of Theorems and Proofs in the Scientific Literature. CoRR (2023)
Shrey Mishra, Lucas Pluvinage, Pierre Senellart
Towards extraction of theorems and proofs in scholarly articles. DocEng (2021)