🧑🔬 Luong Trung — papers of 2025 — 1 paper, the most cited first1 paper · all years of Luong TrungSolving Formal Math Problems by Decomposition and Iterative ReflectionarXiv:2507.15225Yichi Zhou, Jianqiu Zhao, Yongxin Zhang, et al.2025 · 16 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/luong-trung/year/2025/