TY  - RPRT
TI  - Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming
AU  - Ziqi Yuan
AU  - Wenhao Lu
AU  - Hao Wu
AU  - Dunhong Jin
AU  - Chuan Wu
PY  - 2026
UR  - https://arxiv.org/abs/2607.02333
ID  - 2607.02333
ER  -