Assisting Mathematical Formalization with A Learning-based Premise Retriever. - Yicheng Tao 003; Haotian Liu; Shanwen Wang; Hongteng Xu (CoRR, 2025)