LEDGER: Claim-to-Evidence Trace Graphs for Auditing LLM Agents

Daehong Kim, Haichao Miao, Shusen Liu

Large language model (LLM) agents can now carry out long-horizon technical workflows involving complex tool use, code execution, file edits, and generated artifacts. As agents do m…