Towards extraction of theorems and proofs in scholarly articles.

Shrey Mishra, Lucas Pluvinage, Pierre Senellart

Browse the full DocEng paper archive.