🧑🔬 Hengyu Liu — papers of 2025 — 1 paper, the most cited first1 paper · all years of Hengyu LiuAutoformalization in the Era of Large Language Models: A SurveyarXiv:2505.23486Ke Weng, Lun Du, Sirui Li, et al.2025 · 11 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/hengyu-liu/year/2025/