TY - RPRT TI - Modular Multimodal Machine Learning for Extraction of Theorems and Proofs in Long Scientific Documents (Extended Version) AU - Shrey Mishra AU - Antoine Gauquier AU - Pierre Senellart PY - 2024 UR - https://arxiv.org/abs/2307.09047 ID - 2307.09047 ER -