· Include appendix
University of Illinois Chicago

Reliable and Adaptive Agentic AI

From Uncertainty-Aware Risk Control to Evidence-Gated Self-Healing

Presenter · Sina Tayebati

Chair & advisor · Prof. Amit Ranjan Trivedi

Committee ·
  • Prof. A. Enis Cetin
  • Assoc. Prof. Arman Roohi
  • Dr. Omesh Tickoo
  • Dr. Amanda Rios

ECE · University of Illinois Chicago

01 / 45
University of Illinois Chicago

Contents

  1. 01Motivation
  2. 02Generative sensing
  3. 03Adaptive risk control
  4. 04Trajectory reliability
  5. 05Evidence-gated adaptation
02 / 45
University of Illinois Chicago

Why autonomy demands stronger evidence.

03 / 45
University of Illinois Chicago

Autonomy changes the reliability problem

One answer

Predict

InputModelAnswer

Is the answer correct?

Within a task

Act

AgentTools + worldActionObservations + user feedback

Does the whole task succeed?

Across tasks

Adapt

Current taskInstructions / memoryLater tasks

Should this change persist?

Reliability must cover answers, trajectories, and the changes that persist.

04 / 45
University of Illinois Chicago

Incomplete evidence is unavoidable

Visible evidenceStill uncertain

Physical observation

Sensed regions

Unobserved geometry

Model output

A

Available evidence

Correctness of an answer

Agent interaction

Visible messages and tools

Task state and coordination

Behavioral update

Tested cases

Effects on future behavior

A useful model acts with incomplete evidence. A reliable system must account for what remains unknown.

05 / 45
University of Illinois Chicago

Evidence should govern commitment

  1. Evidence

    What has been observed?

    eAvailable observations
  2. Uncertainty

    What could still be wrong?

    Plausible outcomes Y
  3. Commitment

    What action is justified?

    a₁a*a₃Select the lowest expected loss
  4. Consequence

    What happens if it fails?

    L(a, Y)Cost of an outcome
a∗(e)=arg⁡min⁡a  E[L(a,Y)∣e]\textcolor{#419777}{a^*}(\textcolor{#4288c6}{e})=\arg\min_{\textcolor{#419777}{a}}\;\mathbb{E}[\textcolor{#e13841}{L}(\textcolor{#419777}{a},Y)\mid\textcolor{#4288c6}{e}]a∗(e)=argamin​E[L(a,Y)∣e]

Given the evidence, choose the action with the lowest expected loss.

Observation
Infer missing structure
Decision
Choose a response
Trajectory
Monitor an interaction
Adaptation
Admit a correction
06 / 45
University of Illinois Chicago

The object of reliability expands

As autonomy expands, the object of reliability assessment expands with it.

01

Observation

What can we infer from what we did not sense?

R-MAE / ICASSP 2025

02

Decision

How strongly should a model commit?

CAP / ACML 2025

03

Trajectory

When is an interaction going wrong?

TRACER / ICML 2026

04

Adaptation

Which changes deserve to persist?

HARNESS / AAAI · under review

R-MAE · ICASSP 2025 · CAP · ACML 2025 · TRACER · ICML 2026 · Self-Healing Harness · under review at AAAI
07 / 45
University of Illinois Chicago

Recover useful structure from partial observations.

08 / 45
University of Illinois Chicago

Physical observation has a budget

Physical cost

LiDAR acquisition

LiDAR

Every emitted pulse has a physical cost.

Prior work

Masked pretraining

LearnPartial inputReconstruction

MAE · Point-MAE

Occupancy-MAE · MAELi

Research direction

Generative sensing

LiDAR
SensedInferred
Sensing power
Ptotal=Plaser+Pscan+Psignal+PcontrolP_{\mathrm{total}}=P_{\mathrm{laser}}+P_{\mathrm{scan}}+P_{\mathrm{signal}}+P_{\mathrm{control}}Ptotal​=Plaser​+Pscan​+Psignal​+Pcontrol​

Generative sensing: acquire fewer measurements, then reconstruct useful scene structure.

R-MAE · §I–II · p. 1 · R-MAE · references [4], [6], [20], [21] · p. 5
09 / 45
University of Illinois Chicago

R-MAE learns from radial observations

Angular masking

Select radial scan regions

Range-aware sampling

Reduce distant observations

Occupancy prediction

Reconstruct unsensed structure

Original R-MAE Figure 1: angular masking and range-aware sampling, sparse 3D encoding, occupancy reconstruction and downstream object detection.

Self-supervision uses occupied and empty voxels.

Loccup=BCE⁡(o^,o)\mathcal L_{\mathrm{occup}}=\operatorname{BCE}(\hat o,o)Loccup​=BCE(o^,o)
R-MAE · Figure 1; §III-A/B · p. 2 · R-MAE · §III-C · p. 3
10 / 45
University of Illinois Chicago

Learned structure improves detection

Detector baselineWith R-MAE pretraining
mAP (%) · higher is better505560657075CenterPointWaymo · Level 264.5167.20+2.69pointsPV-RCNNWaymo · Level 264.8468.95+4.11pointsCenterPointnuScenes56.0359.20+3.17points

The learned representation improves downstream detection across these settings.

Reported validation results. Waymo uses Level 2 mAP; nuScenes uses its benchmark mAP definition.

R-MAE · Tables I–II · p. 3
11 / 45
University of Illinois Chicago

Sensing savings exceed reconstruction cost

Physical sensingReconstruction
Conventional sensing72 mJR-MAE sensing + reconstruction0.792 + 7.1 = 7.892 mJ
≈9.1×lower estimated total energy

A small amount of observation
can support useful inference.

The next question is how strongly to trust a generated output.

Paper estimate per 360° scan, including Jetson Nano reconstruction overhead. Table V reports >90% masking.

R-MAE · Table V; §IV-C · p. 4
12 / 45
University of Illinois Chicago

Let uncertainty guide the decision.

13 / 45
University of Illinois Chicago

A plausible completion still needs a decision

Recovered information becomes useful only when a system decides how much to commit.

INCOMPLETE EVIDENCEGenerativemodelPlausible outputsABCDecisionpolicyACommitA single answer when the decision is clear{A, B}Preserve alternativesA set when ambiguity mattersAbstainDefer when the cost of error is too high

Next reliability question: what action should uncertainty permit?

CAP · ACML 2025 · §§1–3
14 / 45
University of Illinois Chicago

Calibration turns uncertainty into a prediction set

A held-out calibration set defines which candidate labels remain plausible.

1 · Calibrate a nonconformity threshold
q̂αMore conformingLess conforming
q^α=Q⌈(n+1)(1−α)⌉/n({si}i=1n)\hat q_\alpha=Q_{\lceil(n+1)(1-\alpha)\rceil/n}\big(\{s_i\}_{i=1}^n\big)q^​α​=Q⌈(n+1)(1−α)⌉/n​({si​}i=1n​)

Illustration of the calibration mechanism; dots are schematic.

2 · Include labels within that threshold
Γα(x)={y:s(x,y)≤q^α}\Gamma_\alpha(x)=\{y:s(x,y)\leq\hat q_\alpha\}Γα​(x)={y:s(x,y)≤q^​α​}
ABC

Smaller risk budget → generally larger prediction sets

Pr⁡{Y∈Γα(X)}≥1−α\Pr\{Y\in\Gamma_\alpha(X)\}\geq 1-\alphaPr{Y∈Γα​(X)}≥1−α

Marginal coverage · fixed α · exchangeable calibration and test examples

CAP · §3.1; Vovk et al., 2005; Angelopoulos & Bates, 2021
15 / 45
University of Illinois Chicago

The risk budget should reflect the decision

Confidence signals→Conformal sets→Operational decisions
Prior foundation

One global risk budget

α=constant\alpha=\text{constant}α=constant
Input 1→Adaptive set
Input 2→Adaptive set

LAC / APS adapt the set, while the nominal risk level stays fixed.

CAP research question

Learn the cost of commitment

x⟼πθ(α,β∣x)x\longmapsto\pi_\theta(\alpha,\beta\mid x)x⟼πθ​(α,β∣x)
Input 1→Answer
Input 2→Set or abstain

Optimize instance-dependent decisions for downstream utility.

The new control variable is the risk and abstention policy.

CAP · §§2–3; LAC: Sadinle et al., 2019; APS: Romano et al., 2020
16 / 45
University of Illinois Chicago

CAP learns when to answer, offer alternatives, or abstain

CAP learns how strongly to commit for each input.

Input

Model evidence

Base model stays fixed

x

Learned policy

Select risk

Lightweight MLP

πθαβ
(α,β)∼πθ(⋅∣x)(\alpha,\beta)\sim\pi_\theta(\cdot\mid x)(α,β)∼πθ​(⋅∣x)

Conformal mechanism

Set thresholds

Held-out calibration scores

PredictionAbstention
q^predict(α)\hat q_{\mathrm{predict}}(\alpha)q^​predict​(α)
q^abstain(β)\hat q_{\mathrm{abstain}}(\beta)q^​abstain​(β)

Decision

Choose a response

Three possible actions

One answerPrediction setAbstain

The learned controls are the risk parameters; calibration turns them into decision thresholds.

Control structure shown. Exact policy features and action mapping are not fully specified in the paper.

CAP · §§3.2–3.3, implementation §4.1
17 / 45
University of Illinois Chicago

The policy optimizes the cost of commitment

The preferred response depends on the costs of being wrong, being vague, and declining.

+

Penalties

A

Error

Penalize incorrect decisions

ABC

Set size

Penalize uninformative alternatives

Abstention

Account for the cost of deferral

−

Credits

AB

Coverage

Reward retained correct outcomes

π

Exploration

Entropy encourages policy diversity

C=(1−acc)+λ1avgSet+λ2abstention−λ3coverage−λ4divC=(1-\mathrm{acc})+\lambda_1\mathrm{avgSet}+\lambda_2\mathrm{abstention}\textcolor{#4288c6}{-\lambda_3\mathrm{coverage}-\lambda_4\mathrm{div}}C=(1−acc)+λ1​avgSet+λ2​abstention−λ3​coverage−λ4​div
Risk policySample α, βEvaluate rewardR = −CUpdate withREINFORCEUpdate θ
∇θJ≈(R−b)∇θlog⁡πθ(α,β∣x)\nabla_\theta J\approx(R-b)\nabla_\theta\log\pi_\theta(\alpha,\beta\mid x)∇θ​J≈(R−b)∇θ​logπθ​(α,β∣x)

b: moving-average reward baseline

Quantiles and discrete actions can be optimized through sampled utility.

CAP · Eqs. 3–5, §§3.2–3.3
18 / 45
University of Illinois Chicago

Adaptive decisions need a precise coverage claim

Fixed-risk CP

Exchangeability supports a marginal guarantee for a fixed risk level.

Pr⁡{Y∈Γα(X)}≥1−α\Pr\{Y\in\Gamma_\alpha(X)\}\geq1-\alphaPr{Y∈Γα​(X)}≥1−α

Adaptive policy

Choosing α from the input changes the guarantee question.

Fixed-risk marginal validity alone does not establish input-conditional coverage.

Held-out evidence

A fixed policy can be evaluated with a finite-sample coverage bound.

∣Cov^m−Covπ∣≤log⁡(2/δ)2mwith probability ≥1−δ|\widehat{\mathrm{Cov}}_m-\mathrm{Cov}_{\pi}|\leq\sqrt{\frac{\log(2/\delta)}{2m}}\quad\text{with probability }\geq1-\delta∣Covm​−Covπ​∣≤2mlog(2/δ)​​with probability ≥1−δ

Fresh i.i.d. test data · frozen policy and calibration mechanism

Policy-calibrated coverage bounds estimation error. A 90% target remains an empirical claim to assess on held-out data.

CAP · §3.4, Proposition 2; coverage definition §4.1
19 / 45
University of Illinois Chicago

Better uncertainty ranking supports selective answers

CAP improves model-average uncertainty ranking.

BenchCAP

AUROC ↑

Rank correct versus incorrect predictions

0.40.50.60.70.80.91.0LLaVA-34B0.730.80LLaVA-13B0.600.69LLaVA-7B0.600.65Yi-34B0.700.80Qwen-14B0.610.70Qwen-7B0.450.60

AUARC ↑

Retain accurate answers as rejection increases

0.40.50.60.70.80.91.0LLaVA-34B0.920.97LLaVA-13B0.910.96LLaVA-7B0.890.95Yi-34B0.860.97Qwen-14B0.840.92Qwen-7B0.710.89

Table 1 · reported five-task averages per model · Bench = the paper’s VLM-/LLM-Bench baseline · MCQA evaluation

Qwen-7B: 0.45 → 0.60 AUROC and 0.71 → 0.89 AUARC.

CAP · Table 1 · reported model averages
20 / 45
University of Illinois Chicago

Adaptive filtering preserves more factual content

More content retained at a 90% factuality target.

Conformal FactualityCAPYi-34B · claim retention (%)
0%20%40%60%80%100%FActScore35.548.2+12.7 ppNatural Questions74.883.1+8.3 ppMATH89.594.3+4.8 pp

Table 5 · percentage points (pp) indicate absolute retention gains · target factuality is distinct from retention rate

The next unit of reliability is larger: an agent’s entire trajectory.
CAP · Table 5, §4.2.5; Mohri & Hashimoto, 2024
21 / 45
University of Illinois Chicago

Recognize failure across an agent’s trajectory.

22 / 45
University of Illinois Chicago

Confident steps can still produce a failed task

A sequence of plausible outputs can lose contact with the task.

Agent–tool interactionObserveRead the requestLocally plausibleActCall the toolLocally plausibleRepeatCall it againStill locally fluentInterpretIgnore the errorStill locally fluentRespondReport successStill locally fluentThe failure lives in the relationships between steps.
From output risk to trajectory riskTrack behavior, tool feedback, and user coordination over time.
TRACER · ICML 2026 · motivation, §1
23 / 45
University of Illinois Chicago

Uncertainty must account for interaction structure

The object of uncertainty expands from a generated answer to an evolving interaction.

Token confidence

How likely is this generation?Malinin & Gales, 2021 · Jiang et al., 2020

Fluent repetition can remain locally confident.

Semantic uncertainty

Do plausible answers disagree?Kuhn et al., 2023 · Farquhar et al., 2024

Agreement alone does not establish correct tool use.

Agent uncertainty
propagation

How does uncertainty evolve?SAUP: Zhao et al., 2025 · UProp: Duan et al., 2025

Which sparse episodes should dominate the final risk?

TRACERBehavioral evidence + coherence gaps + emphasis on critical episodes.
TRACER · ICML 2026 · related work, §2
24 / 45
University of Illinois Chicago

Observe uncertainty, repetition, and coherence

Measure uncertainty in the generation and in its relationship to the world.

U

Content uncertainty

Surprisal over selected content-bearing tokens

Ut=1∣It∣∑j∈It−log⁡pt(wt,j)U_t=\frac{1}{|I_t|}\sum_{j\in I_t}-\log p_t(w_{t,j})Ut​=∣It​∣1​j∈It​∑​−logpt​(wt,j​)
Dₐ

Repetition

Semantic similarity × lexical overlap in a local window

Da(t)=max⁡t′∈W(t)sim⁡sem(ut,ut′)sim⁡lex(ut,ut′)D_a(t)=\max_{t'\in W(t)}\operatorname{sim}_{sem}(u_t,u_{t'})\operatorname{sim}_{lex}(u_t,u_{t'})Da​(t)=t′∈W(t)max​simsem​(ut​,ut′​)simlex​(ut​,ut′​)
Dᴬₒ

Action–observation gap

Does the tool response align with the action?

DoA(t)=1−cos⁡ ⁣(ϕ(xt),ϕ(ot))D_o^A(t)=1-\cos\!\left(\phi(x_t),\phi(o_t)\right)DoA​(t)=1−cos(ϕ(xt​),ϕ(ot​))
Dᵁₒ

User coordination gap

Does the user response align with the preceding agent turn?

DoU(t)=1−cos⁡ ⁣(ϕ(xt−1),ϕ(xt))D_o^U(t)=1-\cos\!\left(\phi(x_{t-1}),\phi(x_t)\right)DoU​(t)=1−cos(ϕ(xt−1​),ϕ(xt​))

Content filter: exclude stop words, numeric tokens, and highly predictable tokens. φ embeds the textual event or observation.

TRACER · Eqs. 5–15, §§3.2–3.3 · pp. 3–4
25 / 45
University of Illinois Chicago

Let critical episodes determine trajectory risk

A brief failure signal should remain visible inside a long interaction.

Schematic step risks · synthetic values

Higher riskWhole-trajectory meanMean of the top 3 stepsMaximum step riskTrajectory steps →

Tail mean captures critical episodes; maximum preserves the strongest alarm.

1. Keep the strongest signal

rt=max⁡ ⁣{Ut,αDa,βDoA,γDoU}r_t=\max\!\left\{U_t,\alpha D_a,\beta D_o^A,\gamma D_o^U\right\}rt​=max{Ut​,αDa​,βDoA​,γDoU​}

Actor masks select the applicable signals.

2. Select the high-risk tail

TMk=1K∑i=1Kr(i)\mathrm{TM}_k=\frac1K\sum_{i=1}^{K}r_{(i)}TMk​=K1​i=1∑K​r(i)​

K = max(1, ⌊kN⌋); risks sorted descending.

3. Combine tail and maximum

TRACER=(1−w)TMk+wmax⁡trt\mathrm{TRACER}=(1-w)\mathrm{TM}_k+w\max_t r_tTRACER=(1−w)TMk​+wtmax​rt​
TRACER · Eqs. 16–23, §3.4 · pp. 4–5
26 / 45
University of Illinois Chicago

A stable risk score, with conditional failure control

Stable to local perturbations

If every step changes by at most ε, the trajectory score changes by at most ε.

∣ρ(r)−ρ(s)∣≤∥r−s∥∞\big|\rho(r)-\rho(s)\big|\leq\lVert r-s\rVert_\infty​ρ(r)−ρ(s)​≤∥r−s∥∞​

Monotone · positively homogeneous · subadditive

Failure-risk control is conditional.

Risk dominates hazardCritical risk is tail-sparse
P(B)≤cK E[TMk(r)]+cηP(B)\leq cK\,\mathbb{E}[\mathrm{TM}_k(r)]+c\etaP(B)≤cKE[TMk​(r)]+cη
TRACER is a trajectory risk score.

The theorem does not turn an individual score into a calibrated probability of failure.

ρ acts on nonnegative step risks. B: breakdown event; c: hazard-dominance constant; η: risk outside the selected tail.

TRACER · §3.5 · Appendix A.3–A.5 · pp. 13–14
27 / 45
University of Illinois Chicago

Failures become more separable across domains

τ²-bench · 3 models × airline, retail, telecom · highest score in all 9 settings

AUROC · failure ranking ↑

0.00.250.50.751.0Baseline → TRACERGemini 2.5ProAirline0.603 → 0.735gemini-2.5-pro, Airline: SemEnt 0.603; TRACER 0.735. Table 2, PDF p. 7.Retail0.556 → 0.673gemini-2.5-pro, Retail: SemEnt 0.556; TRACER 0.673. Table 2, PDF p. 7.Telecom0.651 → 0.691gemini-2.5-pro, Telecom: SemEnt 0.651; TRACER 0.691. Table 2, PDF p. 7.Gemini 2.5FlashAirline0.666 → 0.725gemini-2.5-flash, Airline: SemEnt 0.666; TRACER 0.725. Table 2, PDF p. 7.Retail0.533 → 0.707gemini-2.5-flash, Retail: SemEnt 0.533; TRACER 0.707. Table 2, PDF p. 7.Telecom0.673 → 0.809gemini-2.5-flash, Telecom: SAUP 0.673; TRACER 0.809. Table 2, PDF p. 7.GPT-4.1MiniAirline0.541 → 0.742gpt-4.1-mini, Airline: SemEnt 0.541; TRACER 0.742. Table 2, PDF p. 7.Retail0.620 → 0.689gpt-4.1-mini, Retail: SemEnt 0.620; TRACER 0.689. Table 2, PDF p. 7.Telecom0.686 → 0.765gpt-4.1-mini, Telecom: SemEnt 0.686; TRACER 0.765. Table 2, PDF p. 7.

AUARC · selective accuracy ↑

0.00.250.50.751.0Baseline → TRACERGemini 2.5ProAirline0.517 → 0.629gemini-2.5-pro, Airline: SAUP 0.517; TRACER 0.629. Table 2, PDF p. 7.Retail0.684 → 0.725gemini-2.5-pro, Retail: SAUP 0.684; TRACER 0.725. Table 2, PDF p. 7.Telecom0.395 → 0.517gemini-2.5-pro, Telecom: SemEnt 0.395; TRACER 0.517. Table 2, PDF p. 7.Gemini 2.5FlashAirline0.648 → 0.697gemini-2.5-flash, Airline: SemEnt 0.648; TRACER 0.697. Table 2, PDF p. 7.Retail0.547 → 0.670gemini-2.5-flash, Retail: SemEnt 0.547; TRACER 0.670. Table 2, PDF p. 7.Telecom0.446 → 0.520gemini-2.5-flash, Telecom: SAUP 0.446; TRACER 0.520. Table 2, PDF p. 7.GPT-4.1MiniAirline0.427 → 0.615gpt-4.1-mini, Airline: SemEnt 0.427; TRACER 0.615. Table 2, PDF p. 7.Retail0.584 → 0.632gpt-4.1-mini, Retail: SAUP 0.584; TRACER 0.632. Table 2, PDF p. 7.Telecom0.394 → 0.613gpt-4.1-mini, Telecom: SemEnt 0.394; TRACER 0.613. Table 2, PDF p. 7.
Strongest baseline per row and metricTRACER

Baselines: normalized entropy, self-reported confidence, semantic entropy, SAUP. Table 2 values; no confidence intervals reported.

TRACER · ICML 2026 · Table 2; protocol §§4.1–4.2
28 / 45
University of Illinois Chicago

Warnings arrive early in failed trajectories

Gemini 2.5 Pro · failures detected by the first 20% of trajectory progress

Failed tasks detected (%)025507510056.068.0Airline+12.0 pp66.297.3Retail+31.1 pp82.197.4Telecom+15.3 pp
Semantic EntropyTRACER

Retail · absolute gain

+31.1 pp

Earlier warnings leave more of the interaction available for corrective action.

This experiment measures detection timing; it does not evaluate successful intervention.

Failed tasks only · paper operating thresholds; a common false-positive rate is not reported. Progress uses final trajectory length.
TRACER · §4.2, early-warning text · Fig. 2
29 / 45
University of Illinois Chicago

Both sides of the interaction carry evidence

Gemini 2.5 Flash · Telecom · AUROC ↑

Agent and user signals complement each other

0.00.51.00.672Agent only0.602User only0.809Combined

Table 5 actor ablations; combined score from Table 2.

MAX preserves the strongest local evidence

0.00.51.00.795Additive0.785Multiply0.764Separate0.809MAX

Table 6 · all variants tuned on validation episodes.

Detection creates an opportunity to adapt. What evidence should a correction need before it persists?
TRACER · Tables 5–6 · Combined scores: Table 2
30 / 45
University of Illinois Chicago

Require evidence before behavioral changes persist.

31 / 45
University of Illinois Chicago

Learning from failure changes the next execution

Execution failsAgent writes a lessonFuture behavior changesFailure observedExperienceLESSON

Reflection

Can the agent repair this answer?

Persistent memory

What knowledge should it reuse?

Empirical selection

Which modifications improve performance?

My question: which self-authored changes should receive persistent authority?

Runtime triggering + protected-case non-regression + oversight of the accumulated rules.

Harness · related work, p. 2; prior-mechanism comparison, Table 7
32 / 45
University of Illinois Chicago

A useful repair can also create a regression

Success on the motivating failure is insufficient evidence for persistent adoption.

CANDIDATE REPAIR · EXAMPLE“Verify the target pathbefore a destructive action.”TRIGGERING CASETriggering failure improvesPROTECTED CASEPreviously successful behavior regresses
55%

211 / 383 rejections

Among replay-decided retirements

211172Improves target;regresses protected behaviorNo target improvement

A target-only retention rule would have admitted all 211 under the observed replay evidence.

Detected conflicts under sparse protection: ≤2 protected cases per validation round. This is not the incidence among all proposals.

Harness · Table 2 and RQ2 · 211 of 383 replay-decided retirements
33 / 45
University of Illinois Chicago

The agent proposes; the runtime grants persistence

An external runtime surrounds an unmodified agent.

Weights stay fixed · rules evolve

DETECT DEGRADATION → PROPOSE A CORRECTIONEXTERNAL ADMISSIONDetect01Score every turnStall or regressionNotice02Write to mailboxAgent pulls evidenceHeal03Agent writes a ruleCandidate is provisionalValidate04Replay or a weaker forward trialPromote · keep pending · retireOnly validated rules persistWORKSPACENotices · rule files · replay cases · journalRules return through explicit retrievalPer-turn barrier: evaluate → post evidence → allow the next turn
c(R)=c0⊕ι(R)c(R)=c_0\oplus\iota(R)c(R)=c0​⊕ι(R)

Standing protocol + compact rule index. Rule bodies enter context only when retrieved.

The agent cannot edit the evaluator, admission gate, replay corpus, or promotion record. Assumes a non-adversarial agent.

Harness · Figure 1; external workspace and per-turn barrier
34 / 45
University of Illinois Chicago

Detect a stall or regression in the trajectory

Judge the trajectory of progress, then diagnose the latest step.

Low, but improving1.00.50.0Allow progressturn →Stalled below target1.00.50.010 traces without a meaningful gainturn →Falls from its peak1.00.50.0Drop greater than 0.15turn →

Schematic trajectories; no experimental measurements are plotted. M₁: task completion and coherence, evaluated on every trace.

Stall

zj≥10∧pkj<0.5z_j\geq 10\quad\land\quad pk_j<0.5zj​≥10∧pkj​<0.5

A gain of ≥0.02 raises the peak and resets the counter.

Regression

mj(xi)<pkj−0.15m_j(x_i)<pk_j-0.15mj​(xi​)<pkj​−0.15

Compare the current score with the best observed state.

Trigger → check tool / argument correctness → breach if corroborated; otherwise an advisory trend.

Only corroborated breaches are captured for replay. This is the Harness’s own detector; TRACER is a conceptual precursor.

Harness · Eqs. 1–2; Algorithm 3; study settings Table 6
35 / 45
University of Illinois Chicago

Require target improvement and protected-case non-regression

Persistent authority requires external evidence.

Replay · matched evidence

Improve a failure. Preserve protected behavior.

≤3 matching failures≤2 protected cases
01

At least one triggering failure improves

∃i:  Δj^(si)≥0.05\exists i:\;\Delta_{\hat j}(s_i)\geq 0.05∃i:Δj^​​(si​)≥0.05
AND
02

Every measured metric on every replayed case

∀i,j:  Δj(si)>−0.05\forall i,j:\;\Delta_j(s_i)>-0.05∀i,j:Δj​(si​)>−0.05

Any violation rejects the candidate, even when its target improves.

Δ = replay score − captured score.

Target priority: verifier outcome → rule metric → triggering metric.

Forward trial · weaker fallback

Observe the next 3 sessions

When replay is unavailable or remains inconclusive after ≤3 attempts.

Triggering failure stops or becomes less frequent

p^=0  ∨  p^≤p0−0.05\hat p=0\;\lor\;\hat p\leq p_0-0.05p^​=0∨p^​≤p0​−0.05

Without history, p₀ = 1.

Unmatched sessions.No protected-case test.

The candidate acts provisionally during evaluation. Promotion grants persistence.

Bounded empirical evidence, not a guarantee against unseen regressions. Protected cases are not ranked for relevance.

Harness · admission test and forward fallback, p. 4; Algorithm 2
36 / 45
University of Illinois Chicago

Evaluate reliability across 16 matched settings

16 matched comparisons

4 models

4 trials per task

100 turn budget

Benchmark / native splitEnvironmentTasksModels × arms
AppWorld · test_normalApplication and API tasks1684 × Baseline / Harness
Terminal-Bench · sample@2.0Command-line tasks104 × Baseline / Harness
τ²-bench · airlineTool-using dialogue504 × Baseline / Harness
τ²-bench · retailTool-using dialogue1144 × Baseline / Harness

Models: gpt-5.6-terra · gpt-5.6-luna · claude-haiku-4.5 · claude-sonnet-5

First-trial success

pass@1=1∣T∣∑t∈TXt,1\mathrm{pass@1}=\frac{1}{|T|}\sum_{t\in T}X_{t,1}pass@1=∣T∣1​t∈T∑​Xt,1​

All four trials succeed

pass4=1∣T∣∑t∈T∏i=14Xt,i\mathrm{pass}^{4}=\frac{1}{|T|}\sum_{t\in T}\prod_{i=1}^{4}X_{t,i}pass4=∣T∣1​t∈T∑​i=1∏4​Xt,i​

Benchmark-native outcomes assess reliability; trace evaluations drive adaptation.

Same task order · seed 1 · continuous online adaptation · no held-out transfer test. Results use matched completed task-trials.

Harness · experimental setup; Table 8; metric definitions Eq. 4
37 / 45
University of Illinois Chicago

Completion improves; most effects remain uncertain

16/16 score deltas positive

2/16 95% CIs exclude zero

12/16 pass⁴ improves; 4 ties

95% percentile bootstrap CIs · 10,000 task-level resamples · score on [0, 1]. Green intervals exclude zero.

BENCHMARK / MODELno differenceΔ SCORE−0.4−0.20.0+0.2+0.4AppWorldterra+0.022luna+0.004haiku+0.024sonnet+0.013Terminal-Benchterra+0.075luna+0.025haiku+0.146sonnet+0.019τ² airlineterra+0.017luna+0.014haiku+0.014sonnet+0.030τ² retailterra+0.023luna+0.012haiku+0.019sonnet+0.032Task-completion score difference: Harness − Baseline

Consistent direction across settings; 14 of 16 effects remain statistically unresolved.

Harness · Table 1 · exact paired means and 95% bootstrap intervals
38 / 45
University of Illinois Chicago

Individually valid rules can accumulate into drift

AppWorld / luna: an early advantage becomes a late deficit as admitted rules accumulate.

Paired task-completion difference, Harness − Baseline−0.02+0.00+0.02+0.017Q1+0.009Q2+0.006Q3−0.016Q4
13 → 70mean active rules, Q1 → Q4
1.50× → 2.52×input tokens / turn vs Baseline

Slope −0.27 × 10⁻³ per task
Permutation p = .022

Individual admission does not establish reliability of the accumulated rule set.

Coverage

Guard replays captured breaches, not the full task stream.

Granularity

Per-case drops ≥.05 can miss smaller aggregate shifts.

Live context

Replay may not reproduce retrieval dilution.

Harness · Table 4; RQ4 discussion, pp. 6–7
39 / 45
University of Illinois Chicago

The scope of reliability follows the scope of evidence

External evidence makes behavioral adaptation inspectable and reversible.

Object

What the mechanism checks

What remains outside that check

Candidate

Target gain + non-regression on sampled replay cases

Unseen cases, noisy judgments, provisional execution

Rule corpus

Re-test accumulated rules on the captured evaluation corpus

Uncaptured behavior, small aggregate drift, retrieval effects

Deployment

Audit trail and reversible text rules; fixed model weights

Adversarial circumvention and unmeasured properties

Key causal comparison still open

Gated vs immediate admission, with the same downstream corpus guard.

Generalization and practical cost

Freeze rules and test held-out transfer; reduce 1.7–7× latency.

Reliable autonomy must govern both execution and the authority to change future behavior.

Harness · limitations and conclusion; unrun experiments, pp. 7–9
40 / 45
University of Illinois Chicago

Reliability at four scales

Reliability must be assessed at the scale where a failure changes the outcome.

01

Observation

Recover useful structure from partial physical observations.

R-MAE / ICASSP 2025

02

Decision

Learn how uncertainty changes the response policy.

CAP / ACML 2025

03

Trajectory

Surface sparse critical episodes across an interaction.

TRACER / ICML 2026

04

Adaptation

Require external evidence before retaining a behavioral rule.

HARNESS / AAAI · under review

The final step extends oversight to how experience changes future behavior.

41 / 45
University of Illinois Chicago

Open questions for reliable adaptation

Adaptive guarantees

How can a learned risk policy retain coverage under changing conditions?

Intervention

When does an early warning translate into a successful recovery?

Persistent adaptation

Which evidence predicts transfer without accumulated regression?

Reliable autonomy requires evidence for its next commitment.

42 / 45
University of Illinois Chicago

First author papers

  1. 01

    Tayebati, Sina, Theja Tulabandhula, and Amit R. Trivedi.

    Sense less, generate more: Pre-training LiDAR perception with masked autoencoders for ultra-efficient 3D sensing.

    arXiv preprint arXiv:2406.07833 (2024).

  2. 02

    Tayebati, Sina, et al.

    CAP: Conformalized abstention policies for context-adaptive risk management for LLMs and VLMs.

    The 17th Asian Conference on Machine Learning (Conference Track). 2025.

  3. 03

    Tayebati, Sina, et al.

    TRACER: Trajectory risk aggregation for critical episodes in agentic reasoning.

    International Conference on Machine Learning (ICML). PMLR 306, 2026.

  4. 04

    Tayebati, Sina, et al.

    Self-Healing Harness for Runtime Oversight of Agent Self-Modification.

    Under review at AAAI.

43 / 45
University of Illinois Chicago

Collaborative papers

2023–2025

→
  • STARNet: Sensor trustworthiness and anomaly recognition via approximated likelihood regret for robust edge autonomy

    2023 · N. Darabi et al. · arXiv:2309.11006

  • STARNet: Sensor trustworthiness and anomaly recognition via lightweight likelihood regret for robust edge autonomy

    2024 · N. Darabi et al. · IJCNN

  • Beyond Confidence: Adaptive Abstention in Dual-Threshold Conformal Prediction for Autonomous System Perception

    2025 · D. Kumar et al. · arXiv:2502.07255

  • EigenShield: Causal subspace filtering via random matrix theory for adversarially robust vision-language models

    2025 · N. Darabi et al. · arXiv:2502.14976

  • Intelligent sensing-to-action for robust autonomy at the edge: Opportunities and challenges

    2025 · A. R. Trivedi et al. · DATE

  • From Signals to Features to Insights: Multi-Level Novelty Detection for Fast Scientific Discovery

    2025 · D. Naik et al. · VTS

  • SPARC: Subspace-aware prompt adaptation for robust continual learning in LLMs

    2025 · D. Jayasuriya et al. · IJCNN

2025–2026

→
  • Uncertainty-aware LiDAR-camera autonomy via conformal prediction and principled abstention

    2025 · D. Kumar et al. · COINS

  • EigenTrack: Spectral activation feature tracking for hallucination and out-of-distribution detection in LLMs and VLMs

    2025 · D. Ettori et al. · arXiv:2509.15735

  • Learnable conformal prediction with context-aware nonconformity functions for robotic planning and perception

    2025 · D. Kumar et al. · arXiv:2509.21955

  • Calibrated decomposition of aleatoric and epistemic uncertainty in deep features for inference-time adaptation

    2025 · D. Kumar et al. · arXiv:2511.12389

  • TRIAGE: Type-Routed Interventions via Aleatoric-Epistemic Gated Estimation in Robotic Manipulation and Adaptive Perception — Don't Treat All Uncertainty the Same

    2026 · D. Kumar et al. · arXiv:2603.08128

  • EigenShield: Inference-Time, Model-Agnostic Jailbreaking Defense via Causal Subspace Filtering

    2026 · N. Darabi et al. · AAAI

2026

  • Resilience in ambient multi-agent LLMs via decentralized bio-autonomic control and immune-inspired anomaly detection

    2026 · N. Darabi et al. · AAAI

  • VLM Judges Can Rank but Cannot Score: Task-Dependent Uncertainty in Multimodal Evaluation

    2026 · D. Kumar et al. · arXiv:2604.25235

  • INTACT: Inducing noise tolerance through adversarial curriculum training for LiDAR-based safety-critical perception and autonomy

    2026 · N. Darabi et al. · ICASSP

  • GroundControl: Anticipating Navigation Failures in Vision-Language Agents via Trajectory-Consistent Uncertainty Estimates

    2026 · N. Darabi et al. · arXiv:2606.20479

  • Uncertainty Quantification for Computer-Use Agents: A Benchmark across Vision-Language Models and GUI Grounding Datasets

    2026 · D. Kumar et al. · arXiv:2606.25760

  • CURA: Certified Runtime Alarms for Computer-Use Agents

    2026 · D. Kumar et al. · arXiv:2608.27808

44 / 45
University of Illinois Chicago

Thank you.

Sina Tayebati

stayeb3@uic.edu
45 / 45