@inproceedings{mishra2021towards,
  title={\href{https://pierre.senellart.com/publications/mishra2021towards.pdf}{Towards Extraction of Theorems and Proofs in Scholarly Articles}},
  author={Shrey Mishra and Lucas Pluvinage and Pierre Senellart},
  booktitle={Proc.\ {DocEng}},
  address={Limerick, Ireland},
  month=aug,
  year={2021},
}