ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
ReForm:具有前瞻性有界序列优化的反思自动形式化
机构 * Gaoling School of Artificial Intelligence, Renmin University of China(中国人民大学人工智能学院) ; Tongyi Lab, Alibaba Group(阿里巴巴集团通义实验室) ; Zhejiang University(浙江大学) ; Beijing Key Laboratory of Research on Large Models and Intelligent Governance(北京大模型与智能治理重点实验室)
AI总结 ReForm通过整合语义一致性评估和前瞻性有界序列优化,提升自动形式化任务的准确性和语义保真度,实验表明其在四个基准上的性能提升了22.6个百分点。
Comments Camera Ready version for ICLR 2026. Code: https://github.com/Chen-GX/ReForm