@inproceedings{gao-etal-2024-semantic-search,
    title = "A Semantic Search Engine for Mathlib4",
    author = "Gao, Guoxiong  and
      Ju, Haocheng  and
      Jiang, Jiedong  and
      Qin, Zihan  and
      Dong, Bin",
    editor = "Al-Onaizan, Yaser  and
      Bansal, Mohit  and
      Chen, Yun-Nung",
    booktitle = "Findings of the Association for Computational Linguistics: EMNLP 2024",
    month = nov,
    year = "2024",
    address = "Miami, Florida, USA",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/fix-sig-urls/2024.findings-emnlp.470/",
    doi = "10.18653/v1/2024.findings-emnlp.470",
    pages = "8001--8013"
}