🧑🔬 Yuyin Zhou — papers of 2026 — 1 paper, the most cited first1 paper · all years of Yuyin ZhouPrefRAG: Correcting Semantic Errors in Auto-Formalization for Logical Reasoning with Program Preference RAGFindings of the Association for Computational LinguisticsYuyin Zhou, Yongmei Liu2026This page in Markdown → https://md.research.elamur.ai/free/en/authors/yuyin-zhou/year/2026/