TY  - RPRT
TI  - A Semantic Search Engine for Mathlib4
AU  - Guoxiong Gao
AU  - Haocheng Ju
AU  - Jiedong Jiang
AU  - Zihan Qin
AU  - Bin Dong
PY  - 2025
UR  - https://arxiv.org/abs/2403.13310
ID  - 2403.13310
ER  -