TY  - RPRT
TI  - Automated Formalization via Conceptual Retrieval-Augmented LLMs
AU  - Wangyue Lu
AU  - Lun Du
AU  - Sirui Li
AU  - Ke Weng
AU  - Haozhe Sun
AU  - Hengyu Liu
AU  - Minghe Yu
AU  - Tiancheng Zhang
AU  - Ge Yu
PY  - 2026
UR  - https://arxiv.org/abs/2508.06931
ID  - 2508.06931
ER  -