LTRAG: Enhancing Autoformalization and Self-refinement for Logical Reasoning with Thought-Guided RAG.

Ruikang Hu, Shaoyu Lin, Yeliang Xiu, Yongmei Liu

Browse the full ACL paper archive.