@misc{indiciae74d481ca6eb4, title = {Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming}, author = {Ziqi Yuan and Wenhao Lu and Hao Wu and Dunhong Jin and Chuan Wu}, year = {2026}, url = {https://arxiv.org/abs/2607.02333}, note = {Source identifier: 2607.02333} }