TY  - RPRT
TI  - Dockerless: Environment-Free Program Verifier for Coding Agents
AU  - Wenhao Zeng
AU  - Yuling Shi
AU  - Xiaodong Gu
AU  - Chao Hu
AU  - Chaofan Wang
AU  - Yuhao Cui
AU  - Hongting Zhou
AU  - Mengnan Qi
AU  - Jianqiao Wangni
AU  - Zhaojian Yu
AU  - Shuzheng Gao
AU  - Kai Cai
AU  - Shilin He
PY  - 2026
UR  - https://arxiv.org/abs/2606.28436
ID  - 2606.28436
ER  -