FaithAlign：面向理论规模自动形式化的忠实性对齐评测基准

研究将自动形式化的忠实性评估定义为上下文感知的"先对齐再标注"问题，并推出首个理论规模忠实性基准 FaithAlign，含 460 个条目和 4,982 条短语级标注链接，另配 146 个隐去上下文与假设的 FaithAlign-Gap。