Action Verification through Conjecture and Refutation for Language Model Agents

Minhyeon Oh, Chiyeong Heo, Geonwoo Noh +3

Language model agents increasingly act on users' behalf by manipulating external environments through tools, often from high-level instructions that leave critical task- and enviro…