@inproceedings{mishra-etal-2024-first,
    title = "First Steps in Building a Knowledge Base of Mathematical Results",
    author = "Mishra, Shrey  and
      Brihmouche, Yacine  and
      Delemazure, Th{\'e}o  and
      Gauquier, Antoine  and
      Senellart, Pierre",
    editor = "Ghosal, Tirthankar  and
      Singh, Amanpreet  and
      Waard, Anita  and
      Mayr, Philipp  and
      Naik, Aakanksha  and
      Weller, Orion  and
      Lee, Yoonjoo  and
      Shen, Shannon  and
      Qin, Yanxia",
    booktitle = "Proceedings of the Fourth Workshop on Scholarly Document Processing (SDP 2024)",
    month = aug,
    year = "2024",
    address = "Bangkok, Thailand",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/landing_page/2024.sdp-1.16/",
    pages = "165--174"
}