Wang Huaxing

From Traces to Guarded Programs: Evidence-Gated Compilation of Recurrent Agent Workflows

Tool-using agents often invoke a model at every step, even along a repeated read-only path. Replacing repeated reasoning with deterministic execution could reduce inference cost, but repetition alone does not make this safe: tool arguments may depend on decisions not recoverable...