Shrey Mishra, Lucas Pluvinage, Pierre Senellart. Towards extraction of theorems and proofs in scholarly articles. In Patrick Healy, Mihai Bilauca, Alexandra Bonnici, editors, DocEng '21: ACM Symposium on Document Engineering 2021, Limerick, Ireland, August 24-27, 2021. ACM, 2021. [doi]
Abstract is missing.