2 citations · 4 across the 10 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2026
CascadeLedger: Counterfactual Auditing of Information and Resource Integrity in LLM Cascades
Miaobo Hu, Shuhao Hu, Xiaobo Guo +4
We introduce CascadeLedger, a counterfactual execution-audit framework for budgeted language-model cascades. The protocol enforces call-before-read semantics, binds successful read…
cs.CR2026
Actions with Receipts: Jointly Binding Claims, Evidence, and Execution for Replayable Tool-Agent Auditing
Miaobo Hu, Shuhao Hu, Xiaobo Guo +5
Tool-using agents can expose citations and execution logs while leaving a critical association unaudited: whether the claim shown to a user is the claim emitted by the committed ex…