ML Anthology

Lu, Wangyue

1 publications

ICLR 2026 Automated Formalization via Conceptual Retrieval-Augmented LLMs Wangyue Lu, Lun Du, Sirui Li, Ke Weng, Haozhe Sun, Hengyu Liu, Minghe Yu, Tiancheng Zhang, Ge Yu