The Verifiable Action Card: Trustworthy Human-in-the-Loop Control for Secure Autonomous Agents

arXiv:2609.18411 · cs.CR, cs.SY, eess.SP, eess.SY · Submitted 2026-09-16 · Read on arXiv

cs.CR, cs.SY, eess.SP, eess.SY

Submitted: 2026-09-16

Updated: 2026-09-30

Comments: 18 Pages, double coloumn format

Code: https://github.com/zjnbwxq/agentguard-ci

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

Provenance — 42× in this paper · explained in 3 episodes
Verifiable Action Card — 23× in this paper
Benchmark — 12× in this paper · explained in 2 episodes
Human-in-the-Loop — 12× in this paper · explained in 3 episodes
Ablation — 6× in this paper · explained in 1 episode
Trace — 5× in this paper · explained in 2 episodes
Consistency — 4× in this paper · explained in 3 episodes
Core — 3× in this paper · explained in 2 episodes
Abstraction — 2× in this paper · explained in 1 episode
Fidelity — 2× in this paper · explained in 2 episodes
Grounding — 2× in this paper · explained in 3 episodes
AI Agents — 1× in this paper · explained in 2 episodes
Action Space — 1× in this paper · explained in 1 episode
Actor — 1× in this paper · explained in 3 episodes
Agentic Search — 1× in this paper · explained in 1 episode
Agentic System — 1× in this paper · explained in 2 episodes
Benchmarking — 1× in this paper · explained in 3 episodes
Decode — 1× in this paper · explained in 2 episodes
Distillation — 1× in this paper · explained in 2 episodes
Generalization — 1× in this paper · explained in 13 episodes
International Conference on Learning Representations — 1× in this paper
International Conference on Machine Learning — 1× in this paper
King Fahd University of Petroleum and Minerals — 1× in this paper
Reinforcement Learning — 1× in this paper · explained in 4 episodes
Verification — 1× in this paper · explained in 2 episodes

Terminology

Related papers