arXiv ID:
2604.25031
通过往返验证与修复实现忠实的形式化自动转换 / Faithful Autoformalization via Roundtrip Verification and Repair
1️⃣ 一句话总结
本文提出了一种无需人工标注的往返验证方法,通过将自然语言形式化后再翻译回来并重新形式化,利用形式工具检查两次结果是否逻辑等价,从而自动检测和修复AI在形式化过程中的错误,实验表明该方法能将形式化准确率从约45-61%提升至83-85%。