Skip to content

Agents That Certify Their Own Exploits: Confidence-Scheduled Restricted Responses for Safe Opponent Exploitation

Jul 2026 · arXiv.org · Vol abs/2607.28520 · 5 citations · 53 references
Computer Science

TL;DR

CS-RNR is introduced, the first opponent-exploitation method whose safety guarantee is a certificate the agent computes on the strategy it actually deploys, so that every exploit it commits to is one it has audited itself.

Abstract

An agent playing a Nash-equilibrium strategy in a two-player zero-sum imperfect-information game secures the game value but forfeits the additional value offered by a flawed opponent. Diffuse deviations pose a particular challenge: binary release rules may gather too little evidence to act, while a full best response to an incomplete opponent model can be highly exploitable. We introduce \emph{budget-constrained confidence-scheduled restricted responses} (CS-RNR), the first opponent-exploitation method whose safety guarantee is a certificate the agent computes on the strategy it actually deploys, so that every exploit it commits to is one it has audited itself. The method tracks pooled action frequencies with anytime-valid confidence sequences and treats a frequency as exploitable only once its interval separates from an equilibrium reference. The confirmed deviations define a conservative opponent model, which a restricted-response solve turns into candidate counter-strategies over a grid of pin levels. Before deployment, each complete candidate is evaluated by a full-tree best response. The resulting certificate is compared with a user-specified budget and committed atomically with the strategy. Because this check is performed on the played strategy, model quality determines the exploitation achieved while the certificate controls reference-relative expected loss. In Leduc hold'em, CS-RNR obtains $6.2\times$ the steady-state gain of a money-verified binary gate while keeping every deployed strategy within budget. A trajectory mixture using the same estimator reaches $13.6\times$ the budget. Across Leduc, Liar's Dice, and 5-rank Leduc, all $36{,}000$ audited hands satisfy the reported certificate tolerance.

View source

Similar papers

#artificial intelligence Preprint Aug 2026

COVER: Identifiable Evaluation of Coalition Routing

COLD is an auditable measurement methodology, an evaluation contract that fixes a public information boundary, downstream stack G, and finite legal team family before outcomes are generated, which exposes selection headroom without manufacturing a routing win.

R. Sugumar, Amrit Gopinath · 0 citations
#artificial intelligence Preprint Sep 2026

Same Winners, Different Success Rates: Evaluating How LLM Agents Recover from Failures

It is proved that certifying exact population ties is impossible in finite time, and that the assignment of outcomes to checkpoints carries information beyond marginal outcome distributions, and proposed four diagnostic quantities that expose this failure mode with no additional data collection.

Dong Xu, Zhang-Fan Yang, Jian-Tao Wu et al. · 0 citations
#artificial intelligence Preprint Sep 2026

When Honesty is Not Enough in AI Debate

The framework strategic interactive oversight (SIO), which treats oversight jointly as a verification mechanism and a strategic communication channel, is introduced and the notion of task-admissible latent optimisation is formalised, which entails the pursuit of latent objectives while maintaining a prescribed task per...

Rayne Holland, Li-Ming Zhu, Jason Xue · 0 citations
Preprint Sep 2026

Games Over Observation Spaces in Multi-Agent Capture the Flag

A Double Oracle algorithm is proposed to find approximate empirical equilibria to solve this intractably large Capture the Flag game, and it is empirically validated that observation manipulation can improve the defense's performance.

Mae Frost, Michael Amir, S. Bopardikar · 0 citations
#artificial intelligence Preprint Oct 2026

A Trust Layer for Agent Evaluation

A Trust Layer for Agent Evaluation is introduced, an additive post-hoc framework that reports, beside each recorded score, whether it should be believed, whether the result is stable under repeated execution.

Mohammadreza Sediqin, Shivali Dalmia, Srinivasa Karthikeya Reddy Kovvuri et al. · 2 citations
Review Aug 2026

Repeated-Game Security for Restaking-Based Verifiable Inference

A deployable mechanism combining history-dependent challenges, reputation-weighted slashing, and stake vesting is proposed, which restores infinite-horizon subgame-perfect incentive compatibility against stationary mixed-strategy deviations above an explicit discount-factor threshold without per-query cryptographic ver...

Zhen-Hang Shang, Yingzhe Yu, Kani Chen · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.