@inproceedings{zeng-etal-2026-dockerless,
    title = "Dockerless: Environment-Free Program Verifier for Coding Agents",
    author = "Zeng, Wenhao  and
      Shi, Yuling  and
      Gu, Xiaodong  and
      Hu, Chao  and
      Wang, Chaofan  and
      Cui, Yuhao  and
      Zhou, Hongting  and
      Qi, Mengnan  and
      Wangni, Jianqiao  and
      Yu, Zhaojian  and
      Gao, Shuzheng  and
      Cai, Kai  and
      He, Shilin",
    editor = "Lee, Hung-Yi  and
      Dev, Sunipa  and
      Li, Jessy  and
      Elliott, Desmond",
    booktitle = "Proceedings of the 2026 Conference on Empirical Methods in Natural Language Processing",
    month = oct,
    year = "2026",
    address = "Budapest, Hungary",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/2026.emnlp-main.640/",
    pages = "14730--14746",
    ISBN = "979-8-89176-459-0"
}