Researchers propose LEDGER framework to audit LLM agent workflows

LEDGER introduces claim-to-evidence trace graphs to make LLM agent outputs auditable, addressing the challenge of verifying correctness in autonomous workflows that execute code, edit files, and ge...