Research digest · AAAI 2026 · TrustAgent workshop

Factor(U,T)

Controlling Untrusted AI by Monitoring Their Plans

Protocol map · Factor(U,T)

Trust is distributed. Context is not.

An untrusted model decomposes the task. Trusted models implement bounded child tasks in isolation. The monitor must decide from the artifact it is allowed to see.
Task or artifactUntrusted modelTrusted model
01 · inputUser taskone complex request
02 · UUntrusted decomposerpowerful planner · potentially adversarial
03 · artifactChild-task plansnatural-language instructions
04 · TTrusted implementersbounded context · isolated work
05 · outputComplete implementationconcrete code with consequence
H · gateTrusted monitoraccept · edit · resample

What the monitor sees

Intent becomes legible when it touches implementation.

The public paper compares monitoring abstract decompositions with monitoring complete Python solutions.

Plan only0.52
Complete solution0.96
Monitoring AUROC · discrimination evidence, not an end-to-end safety guarantee.

01

The appeal of splitting the work

A capable model can break a coding task into smaller pieces, then pass those pieces to other models. That makes it natural to ask whether the separation also helps with control: let an untrusted model plan, limit what the implementers can see, and have a monitor check the plan.

I led the protocol development, implementation, experiment design, adversarial evaluation, analysis, and writing with my co-authors. We examined where to put the monitor and what information to give it.

“Trusted” and “untrusted” describe the assumptions of this protocol. They do not mean that any model is infallible. The question is how the arrangement behaves under those assumptions.

02

The monitor needs something to inspect

The same separation that limits what a component can do can also remove information it needs. An abstract task description may look harmless even when its implementation has a harmful effect. I wanted to understand whether checking the plan was enough.

In the public paper, decomposition-only monitoring achieved AUROC 0.52, compared with 0.96 when the monitor could inspect concrete implementations. In these evaluated trajectories, the implementation gave the monitor much more useful evidence for distinguishing malicious from benign examples.

AUROC describes ranking across thresholds, with 0.5 corresponding to chance ranking. The 0.96 result is not a claim that the system is 96% safe or catches 96% of attacks at a chosen threshold. It tells us about discrimination in this experiment.

03

Why this changed the question for me

Prompt injection drew my attention to what an instruction could make a model do. This project made me look harder at the information passed between components. If the evidence of a problem only becomes visible in code, a monitor restricted to the plan may be checking at the wrong point.

For someone building a multi-agent coding system, I think that is worth testing directly. Splitting work into more agents does not, on its own, tell us whether oversight improved. We need to inspect which context the split preserves, which it discards, and where harmful behavior becomes observable.

04

What I still want to test

The result leaves a tradeoff I am still interested in: how much isolation can we introduce before it deprives the monitor of useful context? Could a plan retain enough relevant detail to support reliable checks earlier?

An adaptive planner makes that question harder. I would want a protocol tested against a model that understands how it will be monitored. The current result is a comparison of monitoring conditions, not a guarantee about every future decomposer.

Source material · availability checked 11 September 2026

The public paper and its implementation

The arXiv record identifies acceptance at AAAI 2026 TrustAgent. The preprint was submitted on 12 December 2025; the workshop year is a separate date. Figure 3 contains the reported monitoring comparison.

Research summary

The question,
the test, the limits.

A compact reference for what we tested, what the result supports, and what would challenge it.

  1. 01Question

    Can a weaker trusted monitor detect malicious intent from a stronger model’s decomposition before code executes?

  2. 02Claim

    Oversight loses signal when factoring removes the concrete context in which intent becomes operational.

  3. 03System boundary

    An untrusted planner, isolated trusted implementers, a monitor, and the artifacts passed between them.

  4. 04Intervention

    Compare monitoring of high-level plans with monitoring of concrete implementations.

  5. 05Measurement

    The public paper reports AUROC for plan-only and implementation-visible monitoring on its evaluated trajectories.

  6. 06Failure mode

    A benign-looking plan can defer harmful meaning to implementation; an isolated monitor may never receive enough context.

  7. 07Next falsifier

    A plan-level protocol that retains safety-relevant context and remains reliable against an adaptive decomposer.

I connect these research questions in Inside the loop, where I write about the wider direction of my work.