TY  - RPRT
TI  - Mitigating Legibility Tax with Decoupled Prover-Verifier Games
AU  - Yegon Kim
AU  - Juho Lee
PY  - 2026
UR  - https://arxiv.org/abs/2602.23248
ID  - 2602.23248
ER  -