Think Before You Act: Decision Gate for LLM Agents
LLM agents increasingly perform consequential actions through external tools, yet their proposed actions are often executed without independent verification of policy compliance or task completion. We introduce JevAct, a runtime verification framework that intercepts selected agent actions before execution and enables...
Iftach Shoham, Yuval David, Offer Akrabi et al.
· 0 citations