| VER-023 | 局限核验：§10 原文（顺序采样慢于 GAN；f=4 AE 非逐像素精确成瓶颈、SR 已受限，'assume' 措辞）与命题一致，推断性质已声明。supported。 · [checks] 1. **内部一致性**：命题的"f=4 ae 非逐像素精确 → 细粒度像素任务上限、sr 已受限；顺序采样慢于 gan"与 evi-023 result 的 § [body] | Verification |
第 3 / 3 页
上一页
| VER-023 | 局限核验：§10 原文（顺序采样慢于 GAN；f=4 AE 非逐像素精确成瓶颈、SR 已受限，'assume' 措辞）与命题一致，推断性质已声明。supported。 · [checks] 1. **内部一致性**：命题的"f=4 ae 非逐像素精确 → 细粒度像素任务上限、sr 已受限；顺序采样慢于 gan"与 evi-023 result 的 § [body] | Verification |