PrefRAG: Correcting Semantic Errors in Auto-Formalization for Logical Reasoning with Program Preference RAG.

Yuyin Zhou, Yongmei Liu

Browse the full ACL paper archive.