ModelEquivBench：把LLM生成优化模型的“等价性”拆成可认证的多关系画像

优化模型不是普通文本答案。它的错误可能藏在“看起来能执行”的外壳里：模型可能导出了 LP/MPS，但内部可行域已经变了，或者最优值与最优解集并不一致。

因此，只看执行成功率会把不同层次的错误混在一起。论文要解决的是：如何把“语义上哪里一样、哪里不一样”拆开，并且让第三方能复核。

把结果压成“equivalence accuracy”或一个等价标签，无法告诉你错在生成、导出、映射搜索，还是语义本身不一致。

论文明确指出，作者看到的失败分布不能合理压缩成单一准确率，因为不同模型在不同阶段失败。

论文把候选模型和参考模型的关系拆成七个层面：构造、表示对齐、同空间可行域、投影可行域、目标顺序、最优值、最优解集。

这意味着系统不再问“等价吗”，而是逐层问：是不是导出了正确格式，能不能找到可验证映射，可行集是否一致，目标和最优解是否一致。

• E0 先看候选是否能被正确摄取成结构有效的优化模型。
• E1 检查同空间的可容许映射，像置换、二元补码、符号翻转、仿射提升。
• E2–E6 继续往下问可行域、目标和最优解是否真的一致。

作者不接受只靠“模型自己说对了”的结果。已决定的正结论要靠可重放轨迹、显式映射或精确有理证书来支撑；负结论要靠显式见证。

如果前提没满足、搜索没做完、结构不支持或资源不够，系统返回的是 typed abstention，例如 UNKNOWN、N/A、ABSENT，而不是猜一个真假。

ModelEquivBench 提出了一种多关系认证评估框架，用 E0–E6 的语义画像替代单一“等价/不等价”标签。

评估对象是冻结的 173 个基础问题上的三种模型快照：GPT-5.4、Claude Sonnet 4.6、Qwen3.5-397B-A17B；每个模型对应 346 个单元，采用 temperature 0.0、no-repair、no-resampling。

在 E0 入口层，GPT-5.4、Claude Sonnet 4.6、Qwen3.5-397B-A17B 的可摄取候选分别为 334/346、156/346、196/346；其中 Qwen3.5 另有 17 个 provider/API 错误记为 E0 absent。

仅覆盖线性和有界离散模型；quadratic 和一般非线性模型会返回 unknown_unsupported。

先把模型导出成 LP/MPS，并用精确有理表示存储系数，保证后续证书可以被独立验证。

然后按层检查：先做 E0 的结构摄取，再尝试 E1 的映射搜索；若映射成立，再继续做 E2–E6 的证书验证。

每一步都能单独落盘和复核，单层超时只影响该层，不会抹掉已经验证过的结果。