一作ACL 2026Poster· Natural Language Processing
Improving Autoformalization Using Direct Dependency Retrieval
Shaoqi Wang · Lu Yu · Siwei Lou · Feng Yan · Chunjie Yang · Qing Cui · JUN ZHOU
摘要
Statement autoformalization, a crucial first step in formal verification, aims to transform informal descriptions of math problems into machine-verifiable formal representations but remains a significant challenge. The core difficulty lies in the fact that existing language models hallucinate for...