Mitigating Legibility Tax with Decoupled Prover-Verifier Games
通过解耦证明者-验证者游戏减轻可读性代价
机构 * KAIST（韩国科学技术院）
AI总结 提出解耦证明者-验证者游戏（DPVG），通过分离正确性与可检查性训练一个翻译器模型，将固定求解器的解转化为可检查形式，在保持答案正确性的同时提高可检查性，解决了可读性代价问题。
Comments ICLR 2026 Workshop Trustworthy AI
期刊&会议
ICLR
International Conference on Learning Representations · 会议 · Machine Learning
