[15] Gao, Ju, Jiang, Qin and Dong (2024)🔗

Guoxiong Gao, Haocheng Ju, Jiedong Jiang, Zihan Qin, and Bin Dong, 2024. “A semantic search engine for Mathlib4”. arXiv:2403.13310