研究与本科数学陈述自动形式化的可靠评价
原作者研究：语义对齐与可编译分开，提供标注集和基准。
原文位置：Abstract；论文评测设置与BEq+、ProofNetVerif/RLM25
不能据此推出：2025配置不是当下通用成功率；度量近似专家判断，不替代原题核对。
核查 2026-10-20 · 所属资料版本 2026-10-21.workunits.2 · 来源ID WU-M-AUTOFORM
实际引用在哪里
命题形式化：交付自然语言与形式声明的语义对照 →
给出自动形式化与语义评估的研究证据。
关系：直接对应