TY - RPRT TI - Action Verification through Conjecture and Refutation for Language Model Agents AU - Minhyeon Oh AU - Chiyeong Heo AU - Geonwoo Noh AU - Hoyoung Kim AU - Jangwon Son AU - Jungseul Ok PY - 2026 UR - https://arxiv.org/abs/2611.02950 ID - 2611.02950 ER -