A Semantic Search Engine for Mathlib4 Guoxiong Gao author Haocheng Ju author Jiedong Jiang author Zihan Qin author Bin Dong author 2024-11 text Findings of the Association for Computational Linguistics: EMNLP 2024 Yaser Al-Onaizan editor Mohit Bansal editor Yun-Nung Chen editor Association for Computational Linguistics Miami, Florida, USA conference publication gao-etal-2024-semantic-search 10.18653/v1/2024.findings-emnlp.470 https://aclanthology.org/2024.findings-emnlp.470/ 2024-11 8001 8013