TY  - RPRT
TI  - Imperfect Visual Verification for Code Edition : A Case Study on TikZ
AU  - Charly Reux
AU  - Mathieu Acher
AU  - Djamel Eddine Khelladi
AU  - Clément Quinton
AU  - Olivier Barais
PY  - 2026
UR  - https://arxiv.org/abs/2606.15693
ID  - 2606.15693
ER  -