@inproceedings{mishra2024first,
  title={\href{https://pierre.senellart.com/publications/mishra2024first.pdf}{First Steps in Building a Knowledge Base of Mathematical Results}},
  author={Shrey Mishra and Yacine Brihmouche and Th\'eo Delemazure and Antoine Gauquier and Pierre Senellart},
  booktitle={Proc.\ {SDP}},
  address={Bangkok, Thailand},
  pages={165--174},
  month=aug,
  year={2024},
}