O. Hargreaves, S. Patel, C. Price, and E. Foster, “Execution-Guided Verification for Reliable Tool-Using Large Language Model Agents”, CPL, vol. 15, no. 2, pp. 40–47, Nov. 2026, doi: 10.54097/1jkymf92.