Reliable and Adaptive Agentic AIFrom Uncertainty-Aware Risk Control to Evidence-Gated Self-HealingPresenter · Sina TayebatiChair & advisor · Prof. Amit Ranjan TrivediCommittee ·Prof. A. Enis CetinAssoc. Prof. Arman RoohiDr. Omesh TickooDr. Amanda RiosECE · University of Illinois Chicago01 / 45
Contents01Motivation02Generative sensing03Adaptive risk control04Trajectory reliability05Evidence-gated adaptation02 / 45
Autonomy changes the reliability problemOne answerPredictInputModelAnswerIs the answer correct?Within a taskActAgentTools + worldActionObservations + user feedbackDoes the whole task succeed?Across tasksAdaptCurrent taskInstructions / memoryLater tasksShould this change persist?Reliability must cover answers, trajectories, and the changes that persist.04 / 45
Incomplete evidence is unavoidableVisible evidenceStill uncertainPhysical observationSensed regionsUnobserved geometryModel outputAAvailable evidenceCorrectness of an answerAgent interactionVisible messages and toolsTask state and coordinationBehavioral updateTested casesEffects on future behaviorA useful model acts with incomplete evidence. A reliable system must account for what remains unknown.05 / 45
Evidence should govern commitmentEvidenceWhat has been observed?eAvailable observationsUncertaintyWhat could still be wrong?Plausible outcomes YCommitmentWhat action is justified?a₁a*a₃Select the lowest expected lossConsequenceWhat happens if it fails?L(a, Y)Cost of an outcomea∗(e)=argmina 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)=argaminE[L(a,Y)∣e]Given the evidence, choose the action with the lowest expected loss.ObservationInfer missing structureDecisionChoose a responseTrajectoryMonitor an interactionAdaptationAdmit a correction06 / 45
The object of reliability expandsAs autonomy expands, the object of reliability assessment expands with it.01ObservationWhat can we infer from what we did not sense?R-MAE / ICASSP 202502DecisionHow strongly should a model commit?CAP / ACML 202503TrajectoryWhen is an interaction going wrong?TRACER / ICML 202604AdaptationWhich changes deserve to persist?HARNESS / AAAI · under review07 / 45
Physical observation has a budgetPhysical costLiDAR acquisitionLiDAREvery emitted pulse has a physical cost.Prior workMasked pretrainingLearnPartial inputReconstructionMAE · Point-MAEOccupancy-MAE · MAELiResearch directionGenerative sensingLiDARSensedInferredSensing powerPtotal=Plaser+Pscan+Psignal+PcontrolP_{\mathrm{total}}=P_{\mathrm{laser}}+P_{\mathrm{scan}}+P_{\mathrm{signal}}+P_{\mathrm{control}}Ptotal=Plaser+Pscan+Psignal+PcontrolGenerative sensing: acquire fewer measurements, then reconstruct useful scene structure.09 / 45
R-MAE learns from radial observationsAngular maskingSelect radial scan regionsRange-aware samplingReduce distant observationsOccupancy predictionReconstruct unsensed structureSelf-supervision uses occupied and empty voxels.Loccup=BCE(o^,o)\mathcal L_{\mathrm{occup}}=\operatorname{BCE}(\hat o,o)Loccup=BCE(o^,o)10 / 45
Learned structure improves detectionDetector baselineWith R-MAE pretrainingmAP (%) · higher is better505560657075CenterPointWaymo · Level 264.5167.20+2.69pointsPV-RCNNWaymo · Level 264.8468.95+4.11pointsCenterPointnuScenes56.0359.20+3.17pointsThe learned representation improves downstream detection across these settings.Reported validation results. Waymo uses Level 2 mAP; nuScenes uses its benchmark mAP definition.11 / 45
Sensing savings exceed reconstruction costPhysical sensingReconstructionConventional sensing72 mJR-MAE sensing + reconstruction0.792 + 7.1 = 7.892 mJ≈9.1×lower estimated total energyA small amount of observationcan 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.12 / 45
A plausible completion still needs a decisionRecovered 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 highNext reliability question: what action should uncertainty permit?14 / 45
Calibration turns uncertainty into a prediction setA held-out calibration set defines which candidate labels remain plausible.1 · Calibrate a nonconformity thresholdq̂αMore conformingLess conformingq^α=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^α}ABCSmaller risk budget → generally larger prediction setsPr{Y∈Γα(X)}≥1−α\Pr\{Y\in\Gamma_\alpha(X)\}\geq 1-\alphaPr{Y∈Γα(X)}≥1−αMarginal coverage · fixed α · exchangeable calibration and test examples15 / 45
The risk budget should reflect the decisionConfidence signals→Conformal sets→Operational decisionsPrior foundationOne global risk budgetα=constant\alpha=\text{constant}α=constantInput 1→Adaptive setInput 2→Adaptive setLAC / APS adapt the set, while the nominal risk level stays fixed.CAP research questionLearn the cost of commitmentx⟼πθ(α,β∣x)x\longmapsto\pi_\theta(\alpha,\beta\mid x)x⟼πθ(α,β∣x)Input 1→AnswerInput 2→Set or abstainOptimize instance-dependent decisions for downstream utility.The new control variable is the risk and abstention policy.16 / 45
CAP learns when to answer, offer alternatives, or abstainCAP learns how strongly to commit for each input.InputModel evidenceBase model stays fixedxLearned policySelect riskLightweight MLPπθαβ(α,β)∼πθ(⋅∣x)(\alpha,\beta)\sim\pi_\theta(\cdot\mid x)(α,β)∼πθ(⋅∣x)Conformal mechanismSet thresholdsHeld-out calibration scoresPredictionAbstentionq^predict(α)\hat q_{\mathrm{predict}}(\alpha)q^predict(α)q^abstain(β)\hat q_{\mathrm{abstain}}(\beta)q^abstain(β)DecisionChoose a responseThree possible actionsOne answerPrediction setAbstainThe 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.17 / 45
The policy optimizes the cost of commitmentThe preferred response depends on the costs of being wrong, being vague, and declining.+PenaltiesAErrorPenalize incorrect decisionsABCSet sizePenalize uninformative alternativesAbstentionAccount for the cost of deferral−CreditsABCoverageReward retained correct outcomesπExplorationEntropy encourages policy diversityC=(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)+λ1avgSet+λ2abstention−λ3coverage−λ4divRisk 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 baselineQuantiles and discrete actions can be optimized through sampled utility.18 / 45
Adaptive decisions need a precise coverage claimFixed-risk CPExchangeability 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 policyChoosing α from the input changes the guarantee question.Fixed-risk marginal validity alone does not establish input-conditional coverage.Held-out evidenceA 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 mechanismPolicy-calibrated coverage bounds estimation error. A 90% target remains an empirical claim to assess on held-out data.19 / 45
Better uncertainty ranking supports selective answersCAP improves model-average uncertainty ranking.BenchCAPAUROC ↑Rank correct versus incorrect predictions0.40.50.60.70.80.91.0LLaVA-34B0.730.80LLaVA-13B0.600.69LLaVA-7B0.600.65Yi-34B0.700.80Qwen-14B0.610.70Qwen-7B0.450.60AUARC ↑Retain accurate answers as rejection increases0.40.50.60.70.80.91.0LLaVA-34B0.920.97LLaVA-13B0.910.96LLaVA-7B0.890.95Yi-34B0.860.97Qwen-14B0.840.92Qwen-7B0.710.89Table 1 · reported five-task averages per model · Bench = the paper’s VLM-/LLM-Bench baseline · MCQA evaluationQwen-7B: 0.45 → 0.60 AUROC and 0.71 → 0.89 AUARC.20 / 45
Adaptive filtering preserves more factual contentMore 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 ppTable 5 · percentage points (pp) indicate absolute retention gains · target factuality is distinct from retention rateThe next unit of reliability is larger: an agent’s entire trajectory.21 / 45
Confident steps can still produce a failed taskA 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.23 / 45
Uncertainty must account for interaction structureThe object of uncertainty expands from a generated answer to an evolving interaction.Token confidenceHow likely is this generation?Malinin & Gales, 2021 · Jiang et al., 2020Fluent repetition can remain locally confident.Semantic uncertaintyDo plausible answers disagree?Kuhn et al., 2023 · Farquhar et al., 2024Agreement alone does not establish correct tool use.Agent uncertaintypropagationHow does uncertainty evolve?SAUP: Zhao et al., 2025 · UProp: Duan et al., 2025Which sparse episodes should dominate the final risk?TRACERBehavioral evidence + coherence gaps + emphasis on critical episodes.24 / 45
Observe uncertainty, repetition, and coherenceMeasure uncertainty in the generation and in its relationship to the world.UContent uncertaintySurprisal over selected content-bearing tokensUt=1∣It∣∑j∈It−logpt(wt,j)U_t=\frac{1}{|I_t|}\sum_{j\in I_t}-\log p_t(w_{t,j})Ut=∣It∣1j∈It∑−logpt(wt,j)DₐRepetitionSemantic similarity × lexical overlap in a local windowDa(t)=maxt′∈W(t)simsem(ut,ut′)simlex(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)maxsimsem(ut,ut′)simlex(ut,ut′)DᴬₒAction–observation gapDoes 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 gapDoes 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.25 / 45
Let critical episodes determine trajectory riskA brief failure signal should remain visible inside a long interaction.Schematic step risks · synthetic valuesHigher 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 signalrt=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 tailTMk=1K∑i=1Kr(i)\mathrm{TM}_k=\frac1K\sum_{i=1}^{K}r_{(i)}TMk=K1i=1∑Kr(i)K = max(1, ⌊kN⌋); risks sorted descending.3. Combine tail and maximumTRACER=(1−w)TMk+wmaxtrt\mathrm{TRACER}=(1-w)\mathrm{TM}_k+w\max_t r_tTRACER=(1−w)TMk+wtmaxrt26 / 45
A stable risk score, with conditional failure controlStable to local perturbationsIf 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 · subadditiveFailure-risk control is conditional.Risk dominates hazardCritical risk is tail-sparseP(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.27 / 45
Failures become more separable across domainsτ²-bench · 3 models × airline, retail, telecom · highest score in all 9 settingsAUROC · 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 metricTRACERBaselines: normalized entropy, self-reported confidence, semantic entropy, SAUP. Table 2 values; no confidence intervals reported.28 / 45
Warnings arrive early in failed trajectoriesGemini 2.5 Pro · failures detected by the first 20% of trajectory progressFailed tasks detected (%)025507510056.068.0Airline+12.0 pp66.297.3Retail+31.1 pp82.197.4Telecom+15.3 ppSemantic EntropyTRACERRetail · absolute gain+31.1 ppEarlier 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.29 / 45
Both sides of the interaction carry evidenceGemini 2.5 Flash · Telecom · AUROC ↑Agent and user signals complement each other0.00.51.00.672Agent only0.602User only0.809CombinedTable 5 actor ablations; combined score from Table 2.MAX preserves the strongest local evidence0.00.51.00.795Additive0.785Multiply0.764Separate0.809MAXTable 6 · all variants tuned on validation episodes.Detection creates an opportunity to adapt. What evidence should a correction need before it persists?30 / 45
Learning from failure changes the next executionExecution failsAgent writes a lessonFuture behavior changesFailure observedExperienceLESSONReflectionCan the agent repair this answer?Persistent memoryWhat knowledge should it reuse?Empirical selectionWhich modifications improve performance?My question: which self-authored changes should receive persistent authority?Runtime triggering + protected-case non-regression + oversight of the accumulated rules.32 / 45
A useful repair can also create a regressionSuccess 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 regresses55%211 / 383 rejectionsAmong replay-decided retirements211172Improves target;regresses protected behaviorNo target improvementA 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.33 / 45
The agent proposes; the runtime grants persistenceAn external runtime surrounds an unmodified agent.Weights stay fixed · rules evolveDETECT 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 turnc(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.34 / 45
Detect a stall or regression in the trajectoryJudge 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.Stallzj≥10∧pkj<0.5z_j\geq 10\quad\land\quad pk_j<0.5zj≥10∧pkj<0.5A gain of ≥0.02 raises the peak and resets the counter.Regressionmj(xi)<pkj−0.15m_j(x_i)<pk_j-0.15mj(xi)<pkj−0.15Compare 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.35 / 45
Require target improvement and protected-case non-regressionPersistent authority requires external evidence.Replay · matched evidenceImprove a failure. Preserve protected behavior.≤3 matching failures≤2 protected cases01At least one triggering failure improves∃i: Δj^(si)≥0.05\exists i:\;\Delta_{\hat j}(s_i)\geq 0.05∃i:Δj^(si)≥0.05AND02Every 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.05Any violation rejects the candidate, even when its target improves.Δ = replay score − captured score.Target priority: verifier outcome → rule metric → triggering metric.Forward trial · weaker fallbackObserve the next 3 sessionsWhen replay is unavailable or remains inconclusive after ≤3 attempts.Triggering failure stops or becomes less frequentp^=0 ∨ p^≤p0−0.05\hat p=0\;\lor\;\hat p\leq p_0-0.05p^=0∨p^≤p0−0.05Without 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.36 / 45
Evaluate reliability across 16 matched settings16 matched comparisons4 models4 trials per task100 turn budgetBenchmark / native splitEnvironmentTasksModels × armsAppWorld · test_normalApplication and API tasks1684 × Baseline / HarnessTerminal-Bench · sample@2.0Command-line tasks104 × Baseline / Harnessτ²-bench · airlineTool-using dialogue504 × Baseline / Harnessτ²-bench · retailTool-using dialogue1144 × Baseline / HarnessModels: gpt-5.6-terra · gpt-5.6-luna · claude-haiku-4.5 · claude-sonnet-5First-trial successpass@1=1∣T∣∑t∈TXt,1\mathrm{pass@1}=\frac{1}{|T|}\sum_{t\in T}X_{t,1}pass@1=∣T∣1t∈T∑Xt,1All four trials succeedpass4=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∣1t∈T∑i=1∏4Xt,iBenchmark-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.37 / 45
Completion improves; most effects remain uncertain16/16 score deltas positive2/16 95% CIs exclude zero12/16 pass⁴ improves; 4 ties95% 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 − BaselineConsistent direction across settings; 14 of 16 effects remain statistically unresolved.38 / 45
Individually valid rules can accumulate into driftAppWorld / 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.016Q413 → 70mean active rules, Q1 → Q41.50× → 2.52×input tokens / turn vs BaselineSlope −0.27 × 10⁻³ per taskPermutation p = .022Individual admission does not establish reliability of the accumulated rule set.CoverageGuard replays captured breaches, not the full task stream.GranularityPer-case drops ≥.05 can miss smaller aggregate shifts.Live contextReplay may not reproduce retrieval dilution.39 / 45
The scope of reliability follows the scope of evidenceExternal evidence makes behavioral adaptation inspectable and reversible.ObjectWhat the mechanism checksWhat remains outside that checkCandidateTarget gain + non-regression on sampled replay casesUnseen cases, noisy judgments, provisional executionRule corpusRe-test accumulated rules on the captured evaluation corpusUncaptured behavior, small aggregate drift, retrieval effectsDeploymentAudit trail and reversible text rules; fixed model weightsAdversarial circumvention and unmeasured propertiesKey causal comparison still openGated vs immediate admission, with the same downstream corpus guard.Generalization and practical costFreeze rules and test held-out transfer; reduce 1.7–7× latency.Reliable autonomy must govern both execution and the authority to change future behavior.40 / 45
Reliability at four scalesReliability must be assessed at the scale where a failure changes the outcome.01ObservationRecover useful structure from partial physical observations.R-MAE / ICASSP 202502DecisionLearn how uncertainty changes the response policy.CAP / ACML 202503TrajectorySurface sparse critical episodes across an interaction.TRACER / ICML 202604AdaptationRequire external evidence before retaining a behavioral rule.HARNESS / AAAI · under reviewThe final step extends oversight to how experience changes future behavior.41 / 45
Open questions for reliable adaptationAdaptive guaranteesHow can a learned risk policy retain coverage under changing conditions?InterventionWhen does an early warning translate into a successful recovery?Persistent adaptationWhich evidence predicts transfer without accumulated regression?Reliable autonomy requires evidence for its next commitment.42 / 45
First author papers01Tayebati, 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).02Tayebati, 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.03Tayebati, Sina, et al.TRACER: Trajectory risk aggregation for critical episodes in agentic reasoning.International Conference on Machine Learning (ICML). PMLR 306, 2026.04Tayebati, Sina, et al.Self-Healing Harness for Runtime Oversight of Agent Self-Modification.Under review at AAAI.43 / 45
Collaborative papers2023–2025→STARNet: Sensor trustworthiness and anomaly recognition via approximated likelihood regret for robust edge autonomy2023 · N. Darabi et al. · arXiv:2309.11006STARNet: Sensor trustworthiness and anomaly recognition via lightweight likelihood regret for robust edge autonomy2024 · N. Darabi et al. · IJCNNBeyond Confidence: Adaptive Abstention in Dual-Threshold Conformal Prediction for Autonomous System Perception2025 · D. Kumar et al. · arXiv:2502.07255EigenShield: Causal subspace filtering via random matrix theory for adversarially robust vision-language models2025 · N. Darabi et al. · arXiv:2502.14976Intelligent sensing-to-action for robust autonomy at the edge: Opportunities and challenges2025 · A. R. Trivedi et al. · DATEFrom Signals to Features to Insights: Multi-Level Novelty Detection for Fast Scientific Discovery2025 · D. Naik et al. · VTSSPARC: Subspace-aware prompt adaptation for robust continual learning in LLMs2025 · D. Jayasuriya et al. · IJCNN2025–2026→Uncertainty-aware LiDAR-camera autonomy via conformal prediction and principled abstention2025 · D. Kumar et al. · COINSEigenTrack: Spectral activation feature tracking for hallucination and out-of-distribution detection in LLMs and VLMs2025 · D. Ettori et al. · arXiv:2509.15735Learnable conformal prediction with context-aware nonconformity functions for robotic planning and perception2025 · D. Kumar et al. · arXiv:2509.21955Calibrated decomposition of aleatoric and epistemic uncertainty in deep features for inference-time adaptation2025 · D. Kumar et al. · arXiv:2511.12389TRIAGE: Type-Routed Interventions via Aleatoric-Epistemic Gated Estimation in Robotic Manipulation and Adaptive Perception — Don't Treat All Uncertainty the Same2026 · D. Kumar et al. · arXiv:2603.08128EigenShield: Inference-Time, Model-Agnostic Jailbreaking Defense via Causal Subspace Filtering2026 · N. Darabi et al. · AAAI2026Resilience in ambient multi-agent LLMs via decentralized bio-autonomic control and immune-inspired anomaly detection2026 · N. Darabi et al. · AAAIVLM Judges Can Rank but Cannot Score: Task-Dependent Uncertainty in Multimodal Evaluation2026 · D. Kumar et al. · arXiv:2604.25235INTACT: Inducing noise tolerance through adversarial curriculum training for LiDAR-based safety-critical perception and autonomy2026 · N. Darabi et al. · ICASSPGroundControl: Anticipating Navigation Failures in Vision-Language Agents via Trajectory-Consistent Uncertainty Estimates2026 · N. Darabi et al. · arXiv:2606.20479Uncertainty Quantification for Computer-Use Agents: A Benchmark across Vision-Language Models and GUI Grounding Datasets2026 · D. Kumar et al. · arXiv:2606.25760CURA: Certified Runtime Alarms for Computer-Use Agents2026 · D. Kumar et al. · arXiv:2608.2780844 / 45