Backend
EPISTEME: Trustworthy Coding Agents Through Tool Call Intent
arXiv cs.SE0 views
arXiv:2611.06563v1 Announce Type: new Abstract: Coding agents change software through tool calls. Tool calls mutate the local state. For good? For bad? Nobody knows. Agents never say why a tool call is made. We propose the epistemic agent design, in which the harness guarantees that the model declares why a tool call is made. The harness then records what the command actually did and checks the self-reported declaration against these effects. The result is a journal 1) that can guard calls before they run and 2) that supports audits and forensics. For evaluation, we use ImpossibleBench, whose tasks can be passed only by cheating, and demonstrate that forcing the agents to say why results in exposed cheating. Across 49 reward-hacking runs of two open-weight models, the journal exposed 90%.
Source:https://arxiv.org/abs/2611.06563PreviousConstruction Contracts for Generated Embedded Domain-Specific Language Programs: A Measurement Protocol and a Conditional EffectNextPatchCon: Patch-aware Weighted Supervised Contrastive Learning for Vulnerability Detection
Related posts
Auditing Empirical Comparisons in Quantum Software
0arXiv cs.SE
The Impact of AI Coding Assistants on Software Engineering: A Longitudinal Study
0arXiv cs.SE
Quantum estimates for classical polynomial optimization
0arXiv cs.NA
A Tensor-Network Chebyshev--Galerkin Method for Boundary-Value Problems in Computational Mechanics
0arXiv cs.NA
Linear adaptive variable time step schemes for the anisotropic phase field dendritic crystal growth model
0arXiv cs.NA
Magnetic Bloch eigenvalue problems in nonuniform periodic magnetic fields: a Fourier-finite difference approach
0arXiv cs.NA