TY  - RPRT
TI  - Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability
AU  - Shirley Yu
AU  - Ruben Martins
PY  - 2026
UR  - https://arxiv.org/abs/2607.09366
ID  - 2607.09366
ER  -