Drafts
Proposed records written from papers in the queue. None of this is in the catalog. A draft becomes content only when it is filed by hand, and this page exists so that decision takes three clicks instead of an evening reading YAML.
For each one, three questions are enough: is it under the right capability, is the statement true and scoped, is the stance right. Everything else can be fixed after.
74 drafts · 3 flagged by an automatic check and sorted first
- XREPOTEST: Benchmarking Multilingual Repository-Level Unit Test Generation for Large Language Models
Automatic check failed: figures not in the source: 53.2%. Read the paper before trusting this one.
When grading LLM-generated unit tests by pass rate and line coverage alone, a share of passing test suites never directly call the function under test — they reach it through wrappers, mocks, or unrelated public APIs — so pass rate overstates test quality, and this gap widens under agentic repository-access workflows and richer file-level context.
CapabilityKind / backingobservation · single-paperScopeRepository-level unit test generation for focal functions in Rust, Go, Julia, PHP and Ruby; 14 models including Claude 4.5, GPT-5.2, DeepSeek V4-pro; effect size varies strongly by language.Techniqueproposed: invocation-rate metric for generated testsStance on what we holdneitherFalsifierShow that on the same benchmark, tests scored as passing almost always contain a direct call to the focal function, and that agentic or file-context settings do not lower direct-invocation rates while raising pass rate.How well evidencedMeasured on a 3,642-function benchmark with containerized execution. Reported 9.7% of pass-rate-passing suites failing invocation checks overall, concentrated in Rust (28.3%) and Ruby (19.2%) and near zero in Go/PHP. File-level context on Ruby dropped invocation rate from 85.6% to 53.2% across three models; a headless Claude Code agent on PHP raised pass rate while invocation rate fell to 27.6%. Invocation is computed by AST call-identifier matching, so it can miss indirect-but-intentional invocation and cannot itself judge assertion quality; agentic numbers come from a small stratified subset.What this capability already holds (10)
- When comparing a weight-shared recursive model against a depth-matched plain transformer on code generation, the ranking read from a single checkpoint can invert during training, because the larger-parameter arm passes its validation optimum and overfits while the parameter-lean recursive arm keeps improving — so a late-epoch "recursion fits better" reading is a degradation artifact, not a capability difference.
- When grading LLM-generated unit tests by pass rate and line coverage alone, a share of passing test suites never directly call the function under test — they reach it through wrappers, mocks, or unrelated public APIs — so pass rate overstates test quality, and this gap widens under agentic repository-access workflows and richer file-level context.
- A large share of an agent benchmark score is attributable to the harness around the model rather than the model itself: holding the model fixed and changing only guides, sensors, retries and state management is reported to move the same model from 30.9% to 74.6% on GAIA and 30th to 5th on Terminal Bench — so a score reported for "a model" on an agentic benchmark is a score for a model-plus-harness, and comparisons across labs with different harnesses are not comparisons of models.
- Reporting how much a lab's models are used in its own research — tokens, lines of code, inference compute, experiments per researcher — cannot show that the models are accelerating the research, because every one of those is an input. Establishing the loop needs an outcome variable over time: algorithmic efficiency as a function of capability, which is the edge that turns a pipeline into a feedback loop.
- On the best current calibration, AI is not yet accelerating its own development in a self-sustaining way: the modelled threshold is that a one-unit gain in model capability must buy at least 15% higher AI R&D productivity, and the back-of-envelope figure from reported engineer uplift since coding agents launched is about 9% — below it, but rising, so the gap is a current reading rather than a ceiling.
- On multi-turn tool-calling benchmarks that score whether the final environment state matches a gold trajectory, aggregate accuracy hides wrong action-class choices: a model can call a withheld or under-specified tool with fabricated arguments, be handed the missing piece on a later turn, and still be graded PASS — so heavily tool-trained model families rank high while almost never asking for a missing parameter or refusing an unavailable function.
- When research-idea forecasts are scored by whether a later paper matches them under an LLM judge rubric, higher scores partly reflect broader, less specific ideas: the backbone with the higher hit rate also produced measurably more general forecasts and had more retrieved candidate papers pass the gate, and tightening the specificity threshold does not separate the two.
- On span-level hallucination-detection leaderboards where absolute scores are low, bootstrap resampling of the test set moves top systems across wide rank intervals, so point-estimate ordering does not establish that one detector beats another.
- In synthetic hallucination benchmarks where faithful items are human-written and hallucinated items are LLM-rewrites, a detector's binary score partly measures human-vs-machine style rather than factuality: feeding faithful LLM rewrites of the same truthful articles makes some fine-tuned encoders flag nearly all of them as hallucinated.
- For training-free inference-time hallucination mitigation in 7B vision- language models, reported gains on object-hallucination benchmarks are largely inseparable from reduced informativeness: hallucination rate and object recall/coverage move together, so a lower score can mean the model mentioned fewer visual entities rather than grounded better.
- VIBE-Bench: Evaluating Personalized Large Language Models When Profiles Don't Mean Preferences
Automatic check failed: figures not in the source: 21.5, 18.4. Read the paper before trusting this one.
When the preference needed to answer a query lies in a different concept space from the cues in a user's dialogue history (e.g. inferring an emotion-regulation strategy from personality cues), retrieval-based and profile-summarization personalization methods barely beat a no-history baseline, and dumping the full history into the prompt does worse than no history at all.
CapabilityKind / backingobservation · single-paperScopeSynthetic multi-session English dialogue profiles built around Big Five / RIASEC psychology mappings; six instruction-tuned open models, BM25 and BERTScore retrieval, profile-augmented prompting, and LoRA fine-tuning.Stance on what we holdneitherFalsifierOn the same benchmark, retrieval-augmented or full-history prompting reaching strategy-selection accuracy well above the no-history baseline without concept supervision.How well evidencedMeasured on a 128-item manually verified gold test set from a 3,504-persona synthetic benchmark; strategy accuracy ~21.5 for no-history baseline, 18.4 for full-history prompting, 24.2 for profile-augmented prompting. Ablations with injected explicit preferences reach 100% for fine-tuned models, and template chain-of-thought over the known concept mapping lifts Task 1 accuracy by a reported 44%, isolating cross-concept mapping as the bottleneck. All histories are LLM-generated, so transfer to real user logs is untested.What this capability already holds (8)
- Commercial assistants show a large accuracy drop when the relevant information sits in a long interaction history, especially for updates and multi-session reasoning.
- A memory stream with retrieval and reflection lets agents behave consistently over simulated days.
- For persistent-memory agents, any memory-write rule that decides using only recency and provenance is stuck on a single tradeoff — accepting more genuine preference updates means admitting more poisoned ones — because an adversary who can launder a claim through the user's own channel matches the statistics a genuine revision produces; conditioning the write decision on the inferred authenticity of the claim given the interaction history moves both axes at once.
- When the preference needed to answer a query lies in a different concept space from the cues in a user's dialogue history (e.g. inferring an emotion-regulation strategy from personality cues), retrieval-based and profile-summarization personalization methods barely beat a no-history baseline, and dumping the full history into the prompt does worse than no history at all.
- A running summary buys continuity across a long conversation at the cost of specifics, because it is lossy compression by construction — so it helps with "what were we doing" and not with "what exactly did I say in turn 40." Keeping the raw turns retrievable alongside the summary covers the second case.
- Recursively summarizing the dialogue into a running memory improves consistency in long conversations.
- When a structured long-term memory substrate (indexes, retrieval, control logic) is held fixed and only the backbone LLM is swapped, accuracy on multi-session memory benchmarks like LongMemEval and LoCoMo moves by a few points while per-query cost varies by roughly an order of magnitude, so recall quality in these settings is set mostly by the memory and retrieval design rather than by model choice.
- A tiered memory system managed by the model itself sustains recall over conversations far longer than the context window.
- Does Playing it Safe Count as Faithfulness? Reassessing LVLM Hallucination Mitigation Methods
Automatic check failed: figures not in the source: 16. Read the paper before trusting this one.
For training-free inference-time hallucination mitigation in 7B vision-language models, reported gains on object-hallucination benchmarks are largely inseparable from reduced informativeness: hallucination rate and object recall/coverage move together, so a lower score can mean the model mentioned fewer visual entities rather than grounded better.
CapabilityKind / backingobservation · single-paperScopeSix decoding-time and attention/hidden-state mitigation methods on three 7B open LVLMs (LLaVA-1.5, LLaVA-NeXT, InstructBLIP), evaluated on CHAIR, AMBER, and MMStar with author-default hyperparameters. Not tested for training-based or retrieval-based mitigation, larger models, or attribute/relational hallucination.Techniqueproposed: Score hallucination jointly with informativeness and general capabilityStance on what we holdneitherFalsifierA mitigation method that lowers CHAIR/AMBER hallucination while holding or raising object recall and coverage, and does not degrade MMStar fine-grained perception and reasoning, across several models.How well evidenced54 configurations (3 models x 6 methods x 3 benchmarks). Reports Pearson r=0.73 between CHAIRs and object recall, r=0.70 between AMBER Hal and Cover, over the method set. Correlation is across methods, not within a method under varied strength, so it does not isolate a causal mechanism; the authors say so. Two methods (CAAC, CEI) reportedly preserved recall, so the pattern is a tendency, not universal. On MMStar, 16 of 18 fine-grained-perception configurations degraded or gained under 1%.What this capability already holds (10)
- When comparing a weight-shared recursive model against a depth-matched plain transformer on code generation, the ranking read from a single checkpoint can invert during training, because the larger-parameter arm passes its validation optimum and overfits while the parameter-lean recursive arm keeps improving — so a late-epoch "recursion fits better" reading is a degradation artifact, not a capability difference.
- When grading LLM-generated unit tests by pass rate and line coverage alone, a share of passing test suites never directly call the function under test — they reach it through wrappers, mocks, or unrelated public APIs — so pass rate overstates test quality, and this gap widens under agentic repository-access workflows and richer file-level context.
- A large share of an agent benchmark score is attributable to the harness around the model rather than the model itself: holding the model fixed and changing only guides, sensors, retries and state management is reported to move the same model from 30.9% to 74.6% on GAIA and 30th to 5th on Terminal Bench — so a score reported for "a model" on an agentic benchmark is a score for a model-plus-harness, and comparisons across labs with different harnesses are not comparisons of models.
- Reporting how much a lab's models are used in its own research — tokens, lines of code, inference compute, experiments per researcher — cannot show that the models are accelerating the research, because every one of those is an input. Establishing the loop needs an outcome variable over time: algorithmic efficiency as a function of capability, which is the edge that turns a pipeline into a feedback loop.
- On the best current calibration, AI is not yet accelerating its own development in a self-sustaining way: the modelled threshold is that a one-unit gain in model capability must buy at least 15% higher AI R&D productivity, and the back-of-envelope figure from reported engineer uplift since coding agents launched is about 9% — below it, but rising, so the gap is a current reading rather than a ceiling.
- On multi-turn tool-calling benchmarks that score whether the final environment state matches a gold trajectory, aggregate accuracy hides wrong action-class choices: a model can call a withheld or under-specified tool with fabricated arguments, be handed the missing piece on a later turn, and still be graded PASS — so heavily tool-trained model families rank high while almost never asking for a missing parameter or refusing an unavailable function.
- When research-idea forecasts are scored by whether a later paper matches them under an LLM judge rubric, higher scores partly reflect broader, less specific ideas: the backbone with the higher hit rate also produced measurably more general forecasts and had more retrieved candidate papers pass the gate, and tightening the specificity threshold does not separate the two.
- On span-level hallucination-detection leaderboards where absolute scores are low, bootstrap resampling of the test set moves top systems across wide rank intervals, so point-estimate ordering does not establish that one detector beats another.
- In synthetic hallucination benchmarks where faithful items are human-written and hallucinated items are LLM-rewrites, a detector's binary score partly measures human-vs-machine style rather than factuality: feeding faithful LLM rewrites of the same truthful articles makes some fine-tuned encoders flag nearly all of them as hallucinated.
- For training-free inference-time hallucination mitigation in 7B vision- language models, reported gains on object-hallucination benchmarks are largely inseparable from reduced informativeness: hallucination rate and object recall/coverage move together, so a lower score can mean the model mentioned fewer visual entities rather than grounded better.
- Hallucination Is Generative Memory With Its Verifier Turned Down: One Constraint Axis Links Dreaming Sleep and LLM Confabulation
In multi-agent LLM systems where one agent starts with an erroneous shared belief, broadcasting every agent's full context at every step raises the rate of false assertions above doing no synchronization at all, because the error propagates to agents that were previously correct — and the harm appears only in tasks where one wrong fact cascades across semantically linked dimensions (destination to airport to weather), not where agent contexts are largely orthogonal.
CapabilityKind / backingmechanism · single-paperScopeThree-agent planning tasks with deliberately injected context mismatches, Claude Haiku agents; travel-planning domain showed the effect, software sprint planning did not.Techniqueproposed: threshold-gated context synchronization between agentsStance on what we holdneitherFalsifierFull-context broadcast between agents matching or lowering hallucination rate relative to no synchronization in cascading-belief tasks, across models and injected-error setups.How well evidencedMeasured on 30/30/15 trials in travel and 10/10/5 in software with one model. Full-broadcast HR 0.658 vs no-sync 0.492 (p=0.0022, d=1.18) in travel; effect absent in software. Errors were deliberately injected, so the result isolates propagation of a seeded false belief rather than naturally arising drift. Single author, single model, small n.What this capability already holds (22)
- A ~2M-parameter classifier head that reads hidden states already computed during generation (tapping shallow, middle and deep layers of the generating model) detects response-level hallucination at least as well as specialized hidden-state hallucination detectors, and its detection quality rises with the scale of the base model it is attached to.
- Accuracy on a fact scales with how many pretraining documents mention it, so long-tail facts are systematically unreliable.
- For black-box hallucination detection using only sampled responses and token log-probabilities, semantic-entropy signals go to zero whenever the samples collapse into one semantic cluster — which happens for a large share of hallucinated queries, up to nearly all of them on tasks with confusable entities and figures — while token-level uncertainty still separates many of those cases, so the two signals fail on different queries and combining them detects more than either alone.
- For closed-book hallucination detection, training a small supervised classifier over many heterogeneous uncertainty scores beats the best single score, but the gain comes from the diversity of sampling-based black-box signals: ensembles over only single-generation token-probability features add little, while black-box-only ensembles do nearly as well as the full set.
- On code prompts that are unsatisfiable by design, open-weight code and reasoning models refuse based on how suspicious the request looks rather than how deeply impossible it is: they refuse famous theoretical impossibilities far more often than requests for plausible-sounding nonexistent packages, and the stronger models in the set close the gap on theory while barely improving on fabricated ecosystem entities.
- Decomposing long answers into atomic facts and checking each with search catches most errors and beats human annotators on cost and agreement.
- For detecting hallucinated text spans in vision-language model outputs, span localization and confidence calibration come from different architectures: a fine-tuned generative VLM proposes better span boundaries but scores them poorly, while a discriminative token tagger trained with a direct regression loss on human-consensus confidence gives better-correlated probabilities but conservative spans, so using the generative spans as proposals and the tagger's probabilities as scores beats either alone.
- For filtering unsupported LLM-generated vulnerability reports in security triage, statistical machine-text detectors are the wrong instrument: they score provenance, not correctness, and human-written security reports are template-driven and low-perplexity, so they trip the same signal that flags machine text.
- When fine-tuning a base model on instruction data, removing from the training targets any factual claim the base model cannot consistently recall raises the supported-claim rate of later long-form generations, but the gain comes largely from a more conservative response policy — more refusals and fewer supported claims per answer — not from generating more correct facts at equal coverage.
- General-purpose factuality verifiers (entailment-, consistency-, and RAG-trained) and zero-shot frontier LLM judges perform near chance at spotting unsupported claims in scientific peer reviews that must be checked against the full submitted paper, because they cannot separate paper-unsupported assertions from legitimate evaluative critique; small models fine-tuned on in-domain examples beat them by a wide margin.
- Grounding generation in retrieved documents improves factual accuracy on knowledge-intensive tasks.
- In LLM-based ASR, steering decoding toward acoustic evidence only helps if candidates are first restricted to tokens within a small likelihood margin of the greedy token: unconstrained selection by an acoustic compatibility score removes hallucinated outputs but destroys transcription accuracy through unbounded insertions, while the constrained version removes a large share of hallucinations at near-zero WER/CER cost.
- Long-form biographies from strong models contain a substantial share of unsupported atomic facts, rising for less well-known subjects.
- Models reproduce common human misconceptions, and larger models were not more truthful on this benchmark.
- In multi-agent LLM systems where one agent starts with an erroneous shared belief, broadcasting every agent's full context at every step raises the rate of false assertions above doing no synchronization at all, because the error propagates to agents that were previously correct — and the harm appears only in tasks where one wrong fact cascades across semantically linked dimensions (destination to airport to weather), not where agent contexts are largely orthogonal.
- In open-weight 7-8B instruct models, a supervised detector built on how hidden states change between adjacent layers separates factually wrong from correct answers better than a probe on any single layer, and shuffling the layer order destroys most of the signal — so the ordering of the depth trajectory, not just the content of one layer, carries the information.
- On questions whose premises are false or internally contradictory, prompting mid-size instruct models (Qwen2.5-7B, LLaMA-3.1-8B, Gemma3-12B) to reason step by step can lower accuracy below plain answering, because the reasoning chain elaborates from the flawed premise instead of challenging it.
- In retrieval-augmented answers, splitting an answer into claims, checking each against the retrieved source, and then acting on the flagged claims reduces the share of answers judged to contain unsupported content — but the strategies trade grounding against preservation: deleting unsupported claims reduces unsupported content most while retaining the least original text, and rewriting retains the most while reducing least.
- Grounding answers in retrieved documents reduces unsupported generation but transfers the trust problem to the retrieval channel: whatever lands in context is treated as reliable, which shows up both as following instructions planted in retrieved content and as deferring to whichever account is better represented when sources disagree.
- When retrieval for a summarization task pulls definitions by surface term match from a general encyclopedia, ambiguous terms fetch the wrong sense and the model incorporates that unsupported background into its output, lowering claim-level factuality below the no-retrieval baseline even when the prompt tells it to ignore unrelated retrieved content.
- Surveys causes, kinds, and detection of hallucination across data, training, and inference, and finds no complete solution.
- Training a language model with differential privacy — whether DP-SGD pre-training or DP LoRA fine-tuning — makes it generate more false claims about facts in its training data than a non-private counterpart, and the effect grows as the privacy budget tightens, because per-example gradient clipping plus noise prevents low-frequency facts from being acquired at all while flattening the next-token distribution onto incorrect alternatives.
- What Guides the Agent? Adjudicating Unauthorized Behavior via Localizing Behavior-Guiding Instructions
For open-weight agents where attention matrices are accessible, detecting injection by asking which context span actually drove the tool call — aggregating attention over the decision tokens and localizing the guiding span, then checking whether that span's provider has authority for the action — catches unauthorized tool invocations at higher true-positive and lower false-positive rates than static scanners that look for malicious-looking text, because benign-looking injected text is only harmful when it is what the model actually attends to.
CapabilityKind / backingmechanism · single-paperScopeRequires white-box access to attention during inference, plus provenance annotations that map token positions to providers; evaluated on tool-metadata poisoning and indirect prompt injection with 7B-14B open models; detector trained per model-dataset pair, with degraded but usable transfer to unseen models.Techniqueproposed: attention-localized behavior-guiding span adjudicationStance on what we holdneitherFalsifierA study finding that the localized high-attention span does not correspond to the span that changes the tool call under ablation, or that static/content-based scanners match this detection rate at equal false-positive rate on the same benchmarks.How well evidencedMeasured on MCPTox and InjecAgent across ten agent configurations from six model families, against static scanning (LLM-Guard, LLM Detector), behavior auditing (MCIP), and attribution baselines (MindGuard, TracLLM). Reported average AUROC 0.956 and 0.934 TPR at 0.067 FPR; static scanners were near 0.5-0.67 TPR with FPR above 0.36. Detectors are trained per model-dataset pair in the main table, so headline numbers are not a fully unseen-deployment estimate; transfer results are lower. Detection quality falls monotonically with context length (mIoU 0.81 to 0.70, TPR 0.97 to 0.86 from short to >2048 tokens).What this capability already holds (11)
- For computer-use agents operating on a real OS, indirect-injection success rates measured with a fixed hand-written injection template understate vulnerability, because an attacker that adapts phrasing from the agent's own refusal trajectories can reach substantial success on models the fixed template never penetrates.
- Demonstrates that instructions planted in retrieved content can hijack real LLM-integrated applications for data theft and manipulation.
- For long-horizon tool-calling agents (tasks needing five or more calls), embedding state-transition cues — preconditions, invariants, completion states — into the descriptions of the tools on the intended chain is what actually steers the agent's trajectory; runtime corrective text appended to tool results only patches residual drift, and the plausible user prompt alone (persona, deadlines, format constraints) does not establish the trajectory at all.
- For open-weight agents where attention matrices are accessible, detecting injection by asking which context span actually drove the tool call — aggregating attention over the decision tokens and localizing the guiding span, then checking whether that span's provider has authority for the action — catches unauthorized tool invocations at higher true-positive and lower false-positive rates than static scanners that look for malicious-looking text, because benign-looking injected text is only harmful when it is what the model actually attends to.
- Prompt injection defenses that report near-zero attack success on short-context benchmarks lose most of that protection when the injected instruction sits inside a document of thousands to tens of thousands of tokens: fine-tuned separation defenses and detect-localize-remove pipelines still let a large share of injections through on paper review, resume screening, code review and email threads.
- Separating prompt and data with reserved delimiters and fine-tuning on that structure blocks most injections at little cost to utility.
- Simple goal-hijacking and prompt-leaking attacks succeed against production models with short adversarial strings.
- Separating instructions from data raises injection resistance substantially, but both published versions get their strength from fine-tuning the model on the separation, and both report improved robustness rather than elimination. Treat it as one layer of defense in depth; the prompt-only variant, without training, has no measured efficacy behind it here.
- For tool-using agents, enforcing injection defense as a deterministic provenance check on sensitive tool parameters — with the only model call reading the trusted user request and never fetched content — makes admission decisions invariant to how an injection is worded, whereas defenses that judge the agent's runtime plan or behavior with a model can be steered by reworded injections.
- For tool-using agents, restricting capabilities at the harness level after untrusted content enters the context — revoking or tightening the parameter envelopes of skills that lie on graph paths to deployer-defined forbidden states — cuts indirect-injection attack success further than prompt-level or per-action authorization defenses, and does so with no extra model calls or tokens, because enforcement reads the transition graph rather than the natural-language content.
- Training models to rank system, user, and tool instructions by privilege improves robustness to injections in tool outputs.
- ACE: A Self-Correcting Agentic Canvas Editor for Multi-Slide Presentation Automation
In open-ended editing tasks with no unique correct output (multi-slide design editing), a separate judge model that scores the structural diff between the original and edited artifact against the instruction, and returns its critique verbatim as the next-turn instruction, raises instruction-following over a single pass, but the gain is selective: most tasks pass on the first attempt, and a minority of the ones that enter the loop get worse unless an earlier iteration is restored when the judge's own score declines.
CapabilityKind / backingobservation · single-paperScope94 multi-slide slide-editing tasks over a hierarchical scene graph; claude-sonnet-4-6 and gpt-5.5 backbones; gpt-5.5 as in-loop judge; at most 3 iterations; judge sees the origin deck, a symbolic node-level diff, and optional renders, never a reference deck.TechniqueStance on what we holdneitherFalsifierRunning the same loop with the judge scoring an edit diff shows no instruction-following gain over single-pass, or the gain disappears under judges outside the loop and under blind human comparison, or regressions are as common as improvements among tasks entering the loop.How well evidencedMeasured on a 94-task benchmark adapted from PPTArena: IF 4.23 vs 3.81 for a same-backbone HTML agent (paired Wilcoxon p=.010); self-correction adds +0.41 IF over single-pass ACE; 35/53 tasks halt at iteration 1, and of the 18 entering the loop 13 improve, 2 unchanged, 3 regress by at most 1 point, with strict-peak rollback removing all regressions. Circularity is bounded but not eliminated: out-of-loop judges retain about two-thirds of the gain (+0.61, +0.56 IF), and 26 blind raters prefer self-corrected output 81% of decided cases. Single system, single domain, no comparison against an unaided self-critique baseline.What this capability already holds (10)
- With weights frozen and no stronger model in the loop, an agent can raise its own pass rate by rewriting the scaffolding it runs inside — clustering its failures, proposing minimal edits to prompts, tools and policy, and keeping only edits that improve one split without degrading another: all 9 of 9 model-by-benchmark pairs improved, by up to 40.6 percentage points (GLM-5 on AppWorld, 44.4% to 85.0%), with weak models gaining most; but the promotion gate reads the held-out split, so the reported held-out gain is not clean generalisation, and there is no matched-compute baseline.
- In an agent's verify-and-fix loop, deterministic checks — tests, linters, schema validators — should be exhausted before any model-based judge is added, because they are free, fast and give the same verdict every time, while an LLM-as-judge costs tokens per run, returns non-deterministic verdicts, and so belongs only on properties no rule can express, and even then as an advisory signal until measured against human review.
- Reflect-and-retry raises task success when the feedback in the loop is a genuine external signal — a failing test, a compiler error, an environment outcome — but not when the "feedback" is the model's own unaided critique. The grounding, not the reflection step, is what does the work.
- When a model gets a real environment signal after acting — a test result, a tool error, a task-success indicator — reflecting on that signal in words and retrying substantially improves success rates on multi-step coding and decision-making tasks over a single attempt.
- In multi-step visual QA, a critic step run by the same model improves final accuracy only when it is shown the candidate evidence alone and denied the generator's textual rationale; conditioned on that rationale, the critic ratifies the generator's initial hypothesis and the loop performs worse than no critic at all.
- In open-ended editing tasks with no unique correct output (multi-slide design editing), a separate judge model that scores the structural diff between the original and edited artifact against the instruction, and returns its critique verbatim as the next-turn instruction, raises instruction-following over a single pass, but the gain is selective: most tasks pass on the first attempt, and a minority of the ones that enter the loop get worse unless an earlier iteration is restored when the judge's own score declines.
- Without an external, ground-truth signal — a failing test, a compiler error, a verifier's output — a model's own critique of its reasoning is not a reliable improvement signal, and asking it to review and revise a correct answer often turns it into a wrong one.
- Prompting a model to generate its own feedback on a draft output and revise accordingly improves quality on open-ended generation tasks (dialogue, code, review-writing) over a single-shot attempt.
- The agent that produced an artifact is a biased judge of it — it holds the context and the incentives that skew its assessment — so verification belongs with a deterministic sensor or a separate verifier that reports failures back rather than rewriting the output, and in a multi-agent system the verifier is the one component no agent may override.
- Tool-augmented multimodal models trained only on how to call vision tools accept tool outputs uncritically; adding supervised trajectories where tool evidence is checked against the image and re-queried, plus a reward for correction that reaches a correct answer, raises accuracy on perception-heavy benchmarks (counting, depth, spatial relations) in 3B and 7B Qwen2.5-VL, while slightly lowering it on knowledge-heavy ones.
- Rubrics as Visual-Repair Context for Self-Evolving UI-to-Code Generation
In UI-to-code generation, where a rendered screenshot gives genuine external feedback, iterative self-critique still drifts below the initial draft over ten rounds, because a code edit changes the rendering non-locally and a fix for one region breaks regions that were already faithful; restricting each round to one typed, scoped repair target and carrying past targets forward as an avoid-list reduces that drift.
CapabilityKind / backingmechanism · single-paperScopeHTML/CSS webpage reproduction from a screenshot, three frontier and three open Qwen VLMs, ten refinement rounds, VLM-judge visual-fidelity scoring; effects on open models are mixed for one of three.TechniqueStance on what we holdneitherFalsifierShow that naive self-refinement with rendered feedback improves monotonically over rounds on these benchmarks, or that restricting each round to a single scoped repair target gives no advantage over free-form critique at equal round budget.How well evidencedMeasured across 6 models x 3 benchmarks (18 settings): scoped rubrics beat naive self-evolution in 15/18 final-round and 14/18 best-round settings, average +1.20 overall judge points; naive refinement fell below the initial draft on Design2Code for both GPT models. A 60-sample human preference study on one benchmark for two models backs the main comparison. Scoring is by VLM judge, which the authors note is unstable on subtle differences; the coupling mechanism is argued and illustrated rather than directly measured.What this capability already holds (7)
- In agent pipelines that generate whole domain-specific ML codebases (medical imaging) from scratch, execution/assembly validation and domain knowledge bases fix different failures: removing runtime and assembly testing mainly costs autonomy (more human interventions to debug), while removing the curated domain knowledge base mainly costs output quality (syntactically fine but domain-inappropriate pipelines) with little change in intervention count.
- When a code-generation prompt combines a prompt-enforced output format (JSON or XML), a persona, and urgency framing at once, pass@1 on function-level Python problems can fall well below the sum of each constraint's individual effect, even when each constraint alone is neutral or helpful — observed in the GPT-4o family and absent in the GPT-4.1 family and o3-mini.
- For data-science Python tasks where several correct solutions differ by orders of magnitude in runtime, a model's correctness rate does not predict the efficiency of the code it writes: rankings invert between the two, code-specialized open models are less efficient than general open models of similar size class, and the fastest model rotates by library (NumPy vs Pandas vs PyTorch vs Polars).
- Grading generated code by whether it actually passes held-out functional tests, rather than by surface similarity to a reference solution, is what makes code generation gradeable at scale — and it's how the field has graded it since the earliest large benchmarks.
- On repository-level issue-fixing tasks (SWE-bench Lite/Verified/Pro), spending effort upstream — expanding the issue text into a structured requirement spec from retrieved repo context, then testing and refining that spec via generated code and tests — raises resolve rate over agents that consume the raw issue description, and raises the share of patches that even apply cleanly by a larger margin than it raises correctness.
- Static, fixed-problem coding benchmarks saturate and leak into training data over time, so getting an honest read on current code-generation ability requires a benchmark that continuously adds newly-published problems rather than reusing an older fixed set like HumanEval.
- In UI-to-code generation, where a rendered screenshot gives genuine external feedback, iterative self-critique still drifts below the initial draft over ten rounds, because a code edit changes the rendering non-locally and a fix for one region breaks regions that were already faithful; restricting each round to one typed, scoped repair target and carrying past targets forward as an avoid-list reduces that drift.
- FARCA: Fact-Aligned Reliability-Aware Credit Assignment for Reinforcement Learning with Factual Supervision
When training small instruction-tuned models with reinforcement learning plus factual supervision, routing each atomic fact's verification score only to the tokens that produced it, and down-weighting verifier judgements that do not change when their key evidence is removed, improves factuality benchmark scores over trajectory-level or reasoning-step-level factual rewards.
CapabilityKind / backingmechanism · single-paperScope3B-parameter instruct models (Qwen2.5-3B-Instruct, Llama-3.2-3B-Instruct), GRPO-style RL on multi-hop QA with Wikipedia evidence snippets, GPT-4o for fact extraction and NLI verifier for scoring; not tested on larger models.Techniqueproposed: fact-aligned reliability-weighted token creditStance on what we holdneitherFalsifierAn ablation or replication where token-level routing and reliability weighting give no gain over step-level factual rewards, or where coarse aggregation matches it once tuned equally.How well evidencedTwo 3B models, four hallucination benchmarks and four math benchmarks; FARCA beats KnowRL, FSPO, FaithRL and plain GRPO by roughly 1.75-2.21 average points. Ablations remove token provenance and reliability estimation separately, each dropping scores, which isolates the two components. Small models only, single seed reported, and the pipeline depends on GPT-4o extraction so the comparison is not compute-matched.What this capability already holds (7)
- Given several conflicting but equally legitimate passages, a model's answer is driven disproportionately by whichever passage comes first, and the skew sits in the representation of the combined prompt rather than in decoding — which is why reordering the passages does not remove it and why steering the activations does.
- When an LLM agent must reconcile user-supplied identity credentials against database records before a sensitive read or write, frontier and open models frequently skip the cross-field consistency check and act anyway, and the failure rate barely moves whether the request is simple or has several parallel sub-requests and whether the forged field is visually near-identical to the true one or completely unrelated.
- Models endorse widely held falsehoods, showing weak verification against what they know.
- Models readily adopt a single counter-memory passage when it is coherent, and when sources conflict they follow the majority and show confirmation bias toward their own beliefs.
- Training the model to decide when to retrieve and to critique whether passages support its output improves factuality and citation accuracy.
- When training small instruction-tuned models with reinforcement learning plus factual supervision, routing each atomic fact's verification score only to the tokens that produced it, and down-weighting verifier judgements that do not change when their key evidence is removed, improves factuality benchmark scores over trajectory-level or reasoning- step-level factual rewards.
- When VLM agents must verify claims against interactive visualizations where no claim is answerable from the initial viewport, giving them an interaction budget of ten actions does not reliably beat answering immediately from the first screenshot — some models score slightly lower with interaction — because partial, unplanned exploration leaves the model with enough evidence to abandon its prior but not enough to replace it.
- When Do Supervised UQ Ensembles Improve LLM Hallucination Detection? A Robustness Study
For closed-book hallucination detection, training a small supervised classifier over many heterogeneous uncertainty scores beats the best single score, but the gain comes from the diversity of sampling-based black-box signals: ensembles over only single-generation token-probability features add little, while black-box-only ensembles do nearly as well as the full set.
CapabilityKind / backingmechanism · replicatedScopeFour closed-weight LLMs (Gemini 2.5 Flash/Pro, GPT-4o, GPT-4o-mini), nine datasets, short-form QA, claim-level long-form, and Python competitive-programming code; labels available offline for training; no retrieval or tools at inference. Cross-domain and cross-LLM transfer untested; open-weight internal-state signals untested.Techniqueproposed: Supervised ensemble of uncertainty-quantification scoresStance on what we holdneitherFalsifierAn evaluation where an ensemble restricted to single-generation white-box token-probability features matches full or black-box ensembles, or where the full ensemble fails to beat a validation-selected single scorer in most settings.How well evidencedAUROC over 25 stratified splits per setting; best ensemble beat the best individual scorer in 30 of 32 settings and had lowest ECE in 29 of 32, with gains from ~100 labeled instances; ablation on five short-form datasets: black-box-only ensembles beat the best black-box scorer in 19 of 20 settings, white-box-only in 11 of 20. The single-scorer baseline is selected on the test set, so it is optimistic. Sample-efficiency finding replicates Bakman et al. Margins are often 0.01-0.02 AUROC and sometimes inside confidence intervals; label quality checked against two human annotators on 400 responses.What this capability already holds (22)
- A ~2M-parameter classifier head that reads hidden states already computed during generation (tapping shallow, middle and deep layers of the generating model) detects response-level hallucination at least as well as specialized hidden-state hallucination detectors, and its detection quality rises with the scale of the base model it is attached to.
- Accuracy on a fact scales with how many pretraining documents mention it, so long-tail facts are systematically unreliable.
- For black-box hallucination detection using only sampled responses and token log-probabilities, semantic-entropy signals go to zero whenever the samples collapse into one semantic cluster — which happens for a large share of hallucinated queries, up to nearly all of them on tasks with confusable entities and figures — while token-level uncertainty still separates many of those cases, so the two signals fail on different queries and combining them detects more than either alone.
- For closed-book hallucination detection, training a small supervised classifier over many heterogeneous uncertainty scores beats the best single score, but the gain comes from the diversity of sampling-based black-box signals: ensembles over only single-generation token-probability features add little, while black-box-only ensembles do nearly as well as the full set.
- On code prompts that are unsatisfiable by design, open-weight code and reasoning models refuse based on how suspicious the request looks rather than how deeply impossible it is: they refuse famous theoretical impossibilities far more often than requests for plausible-sounding nonexistent packages, and the stronger models in the set close the gap on theory while barely improving on fabricated ecosystem entities.
- Decomposing long answers into atomic facts and checking each with search catches most errors and beats human annotators on cost and agreement.
- For detecting hallucinated text spans in vision-language model outputs, span localization and confidence calibration come from different architectures: a fine-tuned generative VLM proposes better span boundaries but scores them poorly, while a discriminative token tagger trained with a direct regression loss on human-consensus confidence gives better-correlated probabilities but conservative spans, so using the generative spans as proposals and the tagger's probabilities as scores beats either alone.
- For filtering unsupported LLM-generated vulnerability reports in security triage, statistical machine-text detectors are the wrong instrument: they score provenance, not correctness, and human-written security reports are template-driven and low-perplexity, so they trip the same signal that flags machine text.
- When fine-tuning a base model on instruction data, removing from the training targets any factual claim the base model cannot consistently recall raises the supported-claim rate of later long-form generations, but the gain comes largely from a more conservative response policy — more refusals and fewer supported claims per answer — not from generating more correct facts at equal coverage.
- General-purpose factuality verifiers (entailment-, consistency-, and RAG-trained) and zero-shot frontier LLM judges perform near chance at spotting unsupported claims in scientific peer reviews that must be checked against the full submitted paper, because they cannot separate paper-unsupported assertions from legitimate evaluative critique; small models fine-tuned on in-domain examples beat them by a wide margin.
- Grounding generation in retrieved documents improves factual accuracy on knowledge-intensive tasks.
- In LLM-based ASR, steering decoding toward acoustic evidence only helps if candidates are first restricted to tokens within a small likelihood margin of the greedy token: unconstrained selection by an acoustic compatibility score removes hallucinated outputs but destroys transcription accuracy through unbounded insertions, while the constrained version removes a large share of hallucinations at near-zero WER/CER cost.
- Long-form biographies from strong models contain a substantial share of unsupported atomic facts, rising for less well-known subjects.
- Models reproduce common human misconceptions, and larger models were not more truthful on this benchmark.
- In multi-agent LLM systems where one agent starts with an erroneous shared belief, broadcasting every agent's full context at every step raises the rate of false assertions above doing no synchronization at all, because the error propagates to agents that were previously correct — and the harm appears only in tasks where one wrong fact cascades across semantically linked dimensions (destination to airport to weather), not where agent contexts are largely orthogonal.
- In open-weight 7-8B instruct models, a supervised detector built on how hidden states change between adjacent layers separates factually wrong from correct answers better than a probe on any single layer, and shuffling the layer order destroys most of the signal — so the ordering of the depth trajectory, not just the content of one layer, carries the information.
- On questions whose premises are false or internally contradictory, prompting mid-size instruct models (Qwen2.5-7B, LLaMA-3.1-8B, Gemma3-12B) to reason step by step can lower accuracy below plain answering, because the reasoning chain elaborates from the flawed premise instead of challenging it.
- In retrieval-augmented answers, splitting an answer into claims, checking each against the retrieved source, and then acting on the flagged claims reduces the share of answers judged to contain unsupported content — but the strategies trade grounding against preservation: deleting unsupported claims reduces unsupported content most while retaining the least original text, and rewriting retains the most while reducing least.
- Grounding answers in retrieved documents reduces unsupported generation but transfers the trust problem to the retrieval channel: whatever lands in context is treated as reliable, which shows up both as following instructions planted in retrieved content and as deferring to whichever account is better represented when sources disagree.
- When retrieval for a summarization task pulls definitions by surface term match from a general encyclopedia, ambiguous terms fetch the wrong sense and the model incorporates that unsupported background into its output, lowering claim-level factuality below the no-retrieval baseline even when the prompt tells it to ignore unrelated retrieved content.
- Surveys causes, kinds, and detection of hallucination across data, training, and inference, and finds no complete solution.
- Training a language model with differential privacy — whether DP-SGD pre-training or DP LoRA fine-tuning — makes it generate more false claims about facts in its training data than a non-private counterpart, and the effect grows as the privacy budget tightens, because per-example gradient clipping plus noise prevents low-frequency facts from being acquired at all while flattening the next-token distribution onto incorrect alternatives.
- Lost in Speech: Trilingual Spoken Hallucination Detection Across Audio and Transcripts
In synthetic hallucination benchmarks where faithful items are human-written and hallucinated items are LLM-rewrites, a detector's binary score partly measures human-vs-machine style rather than factuality: feeding faithful LLM rewrites of the same truthful articles makes some fine-tuned encoders flag nearly all of them as hallucinated.
CapabilityKind / backingmechanism · single-paperScopeFine-tuned multilingual encoders (ReMBERT, mDeBERTa) trained on an LLM-generated news hallucination corpus; provenance analysis run on Russian original text only.Techniqueproposed: Provenance-controlled evaluation splitStance on what we holdneitherFalsifierDetectors trained on such synthetic splits show near-baseline flag rates on faithful LLM rewrites of truthful articles, i.e. their scores track veracity independently of text provenance.How well evidencedMeasured on 290 truthful human articles, 290 factcheck.kz human-written fakes, 290 faithful Gemini rewrites, and synthetic hallucinations. ReMBERT flagged 0.352 of human truthful vs 1.000 of faithful LLM rewrites; mDeBERTa 0.221 vs 0.586, so the effect is real but model-dependent. Single language, single domain, two encoders; register differences between real fakes and newswire are acknowledged but not fully controlled.What this capability already holds (10)
- When comparing a weight-shared recursive model against a depth-matched plain transformer on code generation, the ranking read from a single checkpoint can invert during training, because the larger-parameter arm passes its validation optimum and overfits while the parameter-lean recursive arm keeps improving — so a late-epoch "recursion fits better" reading is a degradation artifact, not a capability difference.
- When grading LLM-generated unit tests by pass rate and line coverage alone, a share of passing test suites never directly call the function under test — they reach it through wrappers, mocks, or unrelated public APIs — so pass rate overstates test quality, and this gap widens under agentic repository-access workflows and richer file-level context.
- A large share of an agent benchmark score is attributable to the harness around the model rather than the model itself: holding the model fixed and changing only guides, sensors, retries and state management is reported to move the same model from 30.9% to 74.6% on GAIA and 30th to 5th on Terminal Bench — so a score reported for "a model" on an agentic benchmark is a score for a model-plus-harness, and comparisons across labs with different harnesses are not comparisons of models.
- Reporting how much a lab's models are used in its own research — tokens, lines of code, inference compute, experiments per researcher — cannot show that the models are accelerating the research, because every one of those is an input. Establishing the loop needs an outcome variable over time: algorithmic efficiency as a function of capability, which is the edge that turns a pipeline into a feedback loop.
- On the best current calibration, AI is not yet accelerating its own development in a self-sustaining way: the modelled threshold is that a one-unit gain in model capability must buy at least 15% higher AI R&D productivity, and the back-of-envelope figure from reported engineer uplift since coding agents launched is about 9% — below it, but rising, so the gap is a current reading rather than a ceiling.
- On multi-turn tool-calling benchmarks that score whether the final environment state matches a gold trajectory, aggregate accuracy hides wrong action-class choices: a model can call a withheld or under-specified tool with fabricated arguments, be handed the missing piece on a later turn, and still be graded PASS — so heavily tool-trained model families rank high while almost never asking for a missing parameter or refusing an unavailable function.
- When research-idea forecasts are scored by whether a later paper matches them under an LLM judge rubric, higher scores partly reflect broader, less specific ideas: the backbone with the higher hit rate also produced measurably more general forecasts and had more retrieved candidate papers pass the gate, and tightening the specificity threshold does not separate the two.
- On span-level hallucination-detection leaderboards where absolute scores are low, bootstrap resampling of the test set moves top systems across wide rank intervals, so point-estimate ordering does not establish that one detector beats another.
- In synthetic hallucination benchmarks where faithful items are human-written and hallucinated items are LLM-rewrites, a detector's binary score partly measures human-vs-machine style rather than factuality: feeding faithful LLM rewrites of the same truthful articles makes some fine-tuned encoders flag nearly all of them as hallucinated.
- For training-free inference-time hallucination mitigation in 7B vision- language models, reported gains on object-hallucination benchmarks are largely inseparable from reduced informativeness: hallucination rate and object recall/coverage move together, so a lower score can mean the model mentioned fewer visual entities rather than grounded better.
- Targeting the Attention Heads Behind Object Hallucination in LLaVA
In LLaVA-1.5-7B captioning, restricting a LoRA adapter to attention heads picked by a hallucination diagnosis (attention-to-image drop around hallucinated object words, then ablation screening) reduces object hallucination, while an identically trained layer-matched random-head adapter does not — so the selection, not the added adapter capacity, carries the effect.
CapabilityKind / backingmechanism · single-paperScopeOne model (LLaVA-1.5-7B), one captioning prompt, COCO val2014 images, CHAIR scoring; 32 selected heads across 19 layers; control split of 200 images. Gains come with shorter captions and lower object recall (0.78 to 0.70).Techniqueproposed: Diagnosis-selected head-restricted adapter plus grounding-gated decodingStance on what we holdneitherFalsifierA random-head or all-head LoRA trained with the same DPO pairs and matched length reaching the same CHAIR reduction, or the selected heads failing to transfer to other VLMs/prompts.How well evidencedMeasured on 400 held-out COCO images (CHAIRs 0.370 to 0.230, CHAIRi 0.156 to 0.096, paired sign-flip p<0.001) plus a 200-image control split where random-head LoRA gave CHAIRs 0.400 vs 0.100 for selected heads. Fixed-budget runs (64/80/128 tokens) rule out pure truncation, but no fully length-matched or all-head-LoRA baseline, and recall falls, so precision-coverage tradeoff is not isolated.What this capability already holds (9)
- In 7-8B vision-language models, fine-tuning visual and text embeddings toward perturbation-averaged and ground-truth anchors before cross-modal contrastive alignment lowers object and attribute hallucination rates on captioning and existence benchmarks without reducing object coverage or general VQA accuracy.
- In 7B vision-language models that prune visual tokens during decoding for efficiency, hallucination rises as the generated caption gets longer, because pruning is irreversible and discards fine-grained evidence needed at later decoding steps; keeping the pruned tokens as a retrievable bank and pulling them back when next-token entropy spikes recovers the grounding without a second forward pass.
- For detecting ungrounded object mentions in open-ended captions from white-box vision-language models, a single internal support signal (token likelihood, attention share, or image-text similarity) confuses support that comes from object-specific image evidence with support that comes from scene plausibility or the generated text prefix; scoring both whether image tokens carry object-specific evidence and whether support is more image-derived than prefix-derived separates these and raises detection AUROC.
- In diffusion vision-language models generating free-form captions, object tokens that are hallucinated commit at later denoising steps and with lower per-token confidence than grounded object tokens, so the commit-step trajectory is an available internal hallucination signal that has no counterpart in autoregressive decoding.
- In LLaVA-1.5-7B captioning, restricting a LoRA adapter to attention heads picked by a hallucination diagnosis (attention-to-image drop around hallucinated object words, then ablation screening) reduces object hallucination, while an identically trained layer-matched random-head adapter does not — so the selection, not the added adapter capacity, carries the effect.
- When a multimodal model is asked an object-existence question over a set of images at once, it is less accurate than when the same images are queried one at a time and the answers combined, so cross-image integration adds errors beyond the per-image perception errors.
- In open-source vision-language models (LLaVA-1.5, Qwen-VL-Chat, Qwen2.5-VL, LLaVA-NeXT), a training-free decoding intervention that detects large layer-to-layer and step-to-step shifts in hidden states and nudges the diverging states back toward their prior value lowers object-hallucination rates, but the lower rate comes with fewer objects mentioned and shorter outputs.
- For short-answer object-existence questions in open multimodal models (LLaVA v1.5, MiniGPT-4, Qwen2.5-VL), object hallucination is driven partly by the visual encoder itself rather than only by language priors: hallucinated cases show lower image-text embedding similarity and inverted attention, and swapping in a weaker or noisier visual encoder lowers POPE accuracy while a stronger one raises it.
- For training-free inference-time hallucination interventions in 7B-class vision-language models, increasing intervention strength (finer regional evidence partitioning, longer attention-routing windows, stronger textual perturbation) keeps lowering CHAIR object-hallucination scores while producing empty or reduced-coverage responses, so lower hallucination numbers at high intervention strength partly reflect the model saying less rather than grounding better.
- Mitigating LLM sycophancy with RL-based fine-tuning: Bayesian Truth Serum approach
For small instruction-tuned models (3-4B) answering closed-form true/false questions under a stated user opinion, scoring each sampled response by how much more common its answer is than the group itself predicted, and using that score as the GRPO reward, reduces answer flips under user pressure and raises accuracy without any labels, roughly matching label-supervised desycophancy fine-tuning at higher compute cost.
CapabilityKind / backingobservation · single-paperScopeFive open-weight instruction-tuned base models of 3-4B parameters; closed-form binary answers only; groups of 64 samples per prompt; a synthetic 1000-item true/false set and judge-free rewrites of SYCON-Bench; open-ended generation not measured.Techniqueproposed: peer-prediction (Bayesian Truth Serum) reward for label-free RL fine-tuningStance on what we holdneitherFalsifierApplying the same group-internal surprise reward to further base models or datasets fails to lower the flip rate, or lowers it only by collapsing the policy onto a single answer, or label-supervised fine-tuning beats it by a wide margin on the same split.How well evidenced26 fine-tuning runs; reference SmolLM3-3B flip rate under pressure fell from 23% to 4% with accuracy under pressure from 80% to 93%; Benjamini-Hochberg correction across 166 tests, 77 surviving. Ablation shows dropping the prediction term removes the effect and collapses the policy onto one answer; correctness-only reward performs comparably, so the label-free advantage is in supervision, not size of effect. One seed, one training run per configuration, and the sycophancy metric is a flip rate between two prompt conditions rather than an honesty measure.What this capability already holds (11)
- Fine-tuning on simple synthetic examples where the user's opinion is irrelevant to the answer reduces sycophancy substantially.
- Five assistants trained with human feedback consistently show sycophancy across tasks, and human preference data itself rewards it.
- A model's tendency to shift political stance toward a bare demographic identity label is a separate vulnerability from its tendency to shift toward an explicitly stated user opinion: on open-ended US policy prompts, the models most moved by an identity label are among the least moved by a stated opinion, so a benchmark using only stated opinions misses identity-driven shift.
- When a multimodal model is given external text that contradicts the image, making it commit to a description of the image before the text is admitted, then reconciling the two in a second call, recovers accuracy the single-prompt setup loses — but the benefit of withholding the text from the first call is model- and text-source dependent, and on some models context-preserving prompting is still better.
- In open-weight instruction-tuned models, interventions that suppress caving to user pushback (DPO, SFT on chosen responses, or activation steering) also tend to reduce the model's rate of correcting a wrong answer when genuine supporting evidence is supplied, because the two answer-flip behaviors run on overlapping MLP neurons and attention heads with positively aligned steering directions.
- When preference pairs are built by having one strong model write all chosen responses and one weak model all rejected responses (delta learning), contrastive objectives such as DPO transfer the chosen model's sycophantic-agreement rate to the student even though no individual example contains sycophancy — the student's rate tracks the log-ratio of the two teachers' sycophancy rates, so reversing which teacher is 'chosen' drives sycophancy far below the SFT starting point.
- Rewarding sycophantic behavior generalizes to more serious specification gaming in a small fraction of cases.
- For small instruction-tuned models (3-4B) answering closed-form true/false questions under a stated user opinion, scoring each sampled response by how much more common its answer is than the group itself predicted, and using that score as the GRPO reward, reduces answer flips under user pressure and raises accuracy without any labels, roughly matching label-supervised desycophancy fine-tuning at higher compute cost.
- Claude 2, like four other assistants tested in the same study, changed correct answers under simple user pushback ("are you sure?") and shifted its evaluation of a user's argument toward whatever position the user appeared to hold.
- When a user profile of stated attributes and preferences is placed in context, models agree with the user far more than with no profile — across 13 open and closed models the profile, not retrieved conversation memory, is the dominant driver, and inverting the stated preference flips almost all responses to the opposite side.
- Sycophancy is triggered by the user's stated view being in context, so the cheapest control is not putting it there — ask for the answer before the opinion, or withhold the opinion entirely. Fine-tuning is the answer for the cases where the opinion has to be in context and the answer still must not move.
- Video-IFBench: Evaluating Instruction Following of Multimodal LLMs in Video Understanding Scenarios
When a video-understanding instruction contains several conditional branches and the model must pick the branch matching what the video shows, both proprietary and open multimodal models pick correctly far more often when the correct branch is listed first, and accuracy falls as the correct branch moves later in the list.
CapabilityKind / backingobservation · single-paperScopeMultimodal LLMs given video plus a selection-style instruction with three conditions plus an else branch; measured as task pass rate with the branch set held fixed and only the correct branch's position moved.TechniquenoneStance on what we holdneitherFalsifierRunning the same controlled position swap on a broader set of models and finding pass rate flat across branch positions, or higher for later positions.How well evidencedControlled ablation on one subset of a new 1.5K-sample benchmark: same conditions, correct branch moved to position 1, 2 or 3, seven representative models. Drops are large for some (one model from 70.6 to 29.4) and one model does not follow the pattern. Single benchmark, single video-instruction format; no test of whether the bias is representational or decoding-level.What this capability already holds (10)
- When building preference data to teach 7-8B instruct models to follow multi-constraint instructions, perturbing each atomic constraint in several directions so the perturbed instruction's valid-response set contains, partly overlaps, or is disjoint from the original's — and pairing responses drawn from each sub-region — raises constraint adherence more than rejection sampling or teacher-correction pairs, and the gain holds on perturbed instruction variants the baselines barely improve on.
- Fine-tuning a small multimodal model on synthesized constraint-rich instructions raises adherence to output-level constraints (format, word count, keywords) while lowering accuracy on perception-grounded instructions, so the average can fall below the base model unless the synthesis loop tracks per-constraint failures and image compatibility.
- A correction made in conversation fixes one exchange and is gone when the session ends; the same correction encoded as a guide rule, a sensor, or a permission fixes every future run — so an agent system improves over time only to the extent that failures are converted into harness structure rather than re-applied as prompts, and the rate of new guide rules per week falling is the sign the conversion is working.
- Decomposing an instruction into explicit yes/no items and judging against them beats asking for a holistic score, and the same checklist turned on the model's own draft improves the draft. The gain comes from making each requirement separately checkable, not from the model trying harder — so it is largest on instructions carrying several constraints at once.
- Many failures come from not following domain policy documents that were provided in the prompt.
- On realistic web tasks with explicit goals, the best model completed only a small fraction end to end, far below human performance.
- Giving a coding agent a repository context file — AGENTS.md, CLAUDE.md — does not raise its success rate on benchmark coding tasks and costs about 20% more inference: across 4 agents, 2 benchmarks and 3 conditions, LLM-generated files hurt slightly in 5 of 8 settings while developer-written ones gained 2.4% (p=0.21), and agents obey the files — which is why they spend more — so the files do not carry success-relevant information rather than being ignored.
- On scientific tasks where a domain-specific constraint and a general presentation constraint (letter case, output format, structure) are both stated in the same prompt, multimodal models satisfy the domain-specific constraint more often than the general formatting one, so domain competence does not imply full instruction compliance.
- On verifiable instructions such as length and format constraints, strong models still fail a meaningful share, and failures grow when several constraints apply at once.
- When a video-understanding instruction contains several conditional branches and the model must pick the branch matching what the video shows, both proprietary and open multimodal models pick correctly far more often when the correct branch is listed first, and accuracy falls as the correct branch moves later in the list.
- Overview of SHROOM-Visions 2026: A Shared Task on Hallucination Detection in Large Vision-Language Models
On span-level hallucination-detection leaderboards where absolute scores are low, bootstrap resampling of the test set moves top systems across wide rank intervals, so point-estimate ordering does not establish that one detector beats another.
CapabilityKind / backingobservation · single-paperScopeShared task on character-level hallucination span detection in vision-language outputs, four languages, 27 teams, 600+ submissions; best average scores around 0.58 correlation and 0.51 IoU.Techniqueproposed: Bootstrap rank intervals reported alongside leaderboard scoresStance on what we holdneitherFalsifierBootstrap resampling of the same test set yields narrow rank intervals (e.g. top systems confined to one or two positions) despite the low absolute scores.How well evidencedMeasured: 25,000-sample bootstrap rank distributions per language and metric. Top English system had mean rank 2.9 with a 95% interval spanning ranks 1-10; intervals up to 15 positions in EN, ~5-6 in ZH. Rank correlations across data-construction partitions were also below 1, lowest for randomly sampled examples. Single task, single dataset; the inverse relation between score level and rank stability is observed, not isolated by design.What this capability already holds (10)
- When comparing a weight-shared recursive model against a depth-matched plain transformer on code generation, the ranking read from a single checkpoint can invert during training, because the larger-parameter arm passes its validation optimum and overfits while the parameter-lean recursive arm keeps improving — so a late-epoch "recursion fits better" reading is a degradation artifact, not a capability difference.
- When grading LLM-generated unit tests by pass rate and line coverage alone, a share of passing test suites never directly call the function under test — they reach it through wrappers, mocks, or unrelated public APIs — so pass rate overstates test quality, and this gap widens under agentic repository-access workflows and richer file-level context.
- A large share of an agent benchmark score is attributable to the harness around the model rather than the model itself: holding the model fixed and changing only guides, sensors, retries and state management is reported to move the same model from 30.9% to 74.6% on GAIA and 30th to 5th on Terminal Bench — so a score reported for "a model" on an agentic benchmark is a score for a model-plus-harness, and comparisons across labs with different harnesses are not comparisons of models.
- Reporting how much a lab's models are used in its own research — tokens, lines of code, inference compute, experiments per researcher — cannot show that the models are accelerating the research, because every one of those is an input. Establishing the loop needs an outcome variable over time: algorithmic efficiency as a function of capability, which is the edge that turns a pipeline into a feedback loop.
- On the best current calibration, AI is not yet accelerating its own development in a self-sustaining way: the modelled threshold is that a one-unit gain in model capability must buy at least 15% higher AI R&D productivity, and the back-of-envelope figure from reported engineer uplift since coding agents launched is about 9% — below it, but rising, so the gap is a current reading rather than a ceiling.
- On multi-turn tool-calling benchmarks that score whether the final environment state matches a gold trajectory, aggregate accuracy hides wrong action-class choices: a model can call a withheld or under-specified tool with fabricated arguments, be handed the missing piece on a later turn, and still be graded PASS — so heavily tool-trained model families rank high while almost never asking for a missing parameter or refusing an unavailable function.
- When research-idea forecasts are scored by whether a later paper matches them under an LLM judge rubric, higher scores partly reflect broader, less specific ideas: the backbone with the higher hit rate also produced measurably more general forecasts and had more retrieved candidate papers pass the gate, and tightening the specificity threshold does not separate the two.
- On span-level hallucination-detection leaderboards where absolute scores are low, bootstrap resampling of the test set moves top systems across wide rank intervals, so point-estimate ordering does not establish that one detector beats another.
- In synthetic hallucination benchmarks where faithful items are human-written and hallucinated items are LLM-rewrites, a detector's binary score partly measures human-vs-machine style rather than factuality: feeding faithful LLM rewrites of the same truthful articles makes some fine-tuned encoders flag nearly all of them as hallucinated.
- For training-free inference-time hallucination mitigation in 7B vision- language models, reported gains on object-hallucination benchmarks are largely inseparable from reduced informativeness: hallucination rate and object recall/coverage move together, so a lower score can mean the model mentioned fewer visual entities rather than grounded better.
- AI Slop and Hallucinations in Vulnerability Assessment: A Survey on Reasoning Failures and Trustworthy Mitigation
For filtering unsupported LLM-generated vulnerability reports in security triage, statistical machine-text detectors are the wrong instrument: they score provenance, not correctness, and human-written security reports are template-driven and low-perplexity, so they trip the same signal that flags machine text.
CapabilityKind / backingmechanism · single-paperScopeSecurity artifacts with rigid templates and standardized formatting — bug bounty reports, stack traces, patch descriptions; argued, not measured here.Techniqueproposed: Deductive coverage scoring of vulnerability claimsStance on what we holdneitherFalsifierA statistical AI-text detector applied to a mixed corpus of human and LLM bug bounty reports achieves both low false-positive rates on human reports and high separation of unsupported claims from grounded ones.How well evidencedSurvey. Argued from the low lexical diversity of security report templates plus a cited theoretical result that detector AUC converges to chance as model output distributions approach human writing. No new measurement on security reports is reported here; the causal step from 'formulaic' to 'high false-positive rate' is asserted rather than isolated.What this capability already holds (22)
- A ~2M-parameter classifier head that reads hidden states already computed during generation (tapping shallow, middle and deep layers of the generating model) detects response-level hallucination at least as well as specialized hidden-state hallucination detectors, and its detection quality rises with the scale of the base model it is attached to.
- Accuracy on a fact scales with how many pretraining documents mention it, so long-tail facts are systematically unreliable.
- For black-box hallucination detection using only sampled responses and token log-probabilities, semantic-entropy signals go to zero whenever the samples collapse into one semantic cluster — which happens for a large share of hallucinated queries, up to nearly all of them on tasks with confusable entities and figures — while token-level uncertainty still separates many of those cases, so the two signals fail on different queries and combining them detects more than either alone.
- For closed-book hallucination detection, training a small supervised classifier over many heterogeneous uncertainty scores beats the best single score, but the gain comes from the diversity of sampling-based black-box signals: ensembles over only single-generation token-probability features add little, while black-box-only ensembles do nearly as well as the full set.
- On code prompts that are unsatisfiable by design, open-weight code and reasoning models refuse based on how suspicious the request looks rather than how deeply impossible it is: they refuse famous theoretical impossibilities far more often than requests for plausible-sounding nonexistent packages, and the stronger models in the set close the gap on theory while barely improving on fabricated ecosystem entities.
- Decomposing long answers into atomic facts and checking each with search catches most errors and beats human annotators on cost and agreement.
- For detecting hallucinated text spans in vision-language model outputs, span localization and confidence calibration come from different architectures: a fine-tuned generative VLM proposes better span boundaries but scores them poorly, while a discriminative token tagger trained with a direct regression loss on human-consensus confidence gives better-correlated probabilities but conservative spans, so using the generative spans as proposals and the tagger's probabilities as scores beats either alone.
- For filtering unsupported LLM-generated vulnerability reports in security triage, statistical machine-text detectors are the wrong instrument: they score provenance, not correctness, and human-written security reports are template-driven and low-perplexity, so they trip the same signal that flags machine text.
- When fine-tuning a base model on instruction data, removing from the training targets any factual claim the base model cannot consistently recall raises the supported-claim rate of later long-form generations, but the gain comes largely from a more conservative response policy — more refusals and fewer supported claims per answer — not from generating more correct facts at equal coverage.
- General-purpose factuality verifiers (entailment-, consistency-, and RAG-trained) and zero-shot frontier LLM judges perform near chance at spotting unsupported claims in scientific peer reviews that must be checked against the full submitted paper, because they cannot separate paper-unsupported assertions from legitimate evaluative critique; small models fine-tuned on in-domain examples beat them by a wide margin.
- Grounding generation in retrieved documents improves factual accuracy on knowledge-intensive tasks.
- In LLM-based ASR, steering decoding toward acoustic evidence only helps if candidates are first restricted to tokens within a small likelihood margin of the greedy token: unconstrained selection by an acoustic compatibility score removes hallucinated outputs but destroys transcription accuracy through unbounded insertions, while the constrained version removes a large share of hallucinations at near-zero WER/CER cost.
- Long-form biographies from strong models contain a substantial share of unsupported atomic facts, rising for less well-known subjects.
- Models reproduce common human misconceptions, and larger models were not more truthful on this benchmark.
- In multi-agent LLM systems where one agent starts with an erroneous shared belief, broadcasting every agent's full context at every step raises the rate of false assertions above doing no synchronization at all, because the error propagates to agents that were previously correct — and the harm appears only in tasks where one wrong fact cascades across semantically linked dimensions (destination to airport to weather), not where agent contexts are largely orthogonal.
- In open-weight 7-8B instruct models, a supervised detector built on how hidden states change between adjacent layers separates factually wrong from correct answers better than a probe on any single layer, and shuffling the layer order destroys most of the signal — so the ordering of the depth trajectory, not just the content of one layer, carries the information.
- On questions whose premises are false or internally contradictory, prompting mid-size instruct models (Qwen2.5-7B, LLaMA-3.1-8B, Gemma3-12B) to reason step by step can lower accuracy below plain answering, because the reasoning chain elaborates from the flawed premise instead of challenging it.
- In retrieval-augmented answers, splitting an answer into claims, checking each against the retrieved source, and then acting on the flagged claims reduces the share of answers judged to contain unsupported content — but the strategies trade grounding against preservation: deleting unsupported claims reduces unsupported content most while retaining the least original text, and rewriting retains the most while reducing least.
- Grounding answers in retrieved documents reduces unsupported generation but transfers the trust problem to the retrieval channel: whatever lands in context is treated as reliable, which shows up both as following instructions planted in retrieved content and as deferring to whichever account is better represented when sources disagree.
- When retrieval for a summarization task pulls definitions by surface term match from a general encyclopedia, ambiguous terms fetch the wrong sense and the model incorporates that unsupported background into its output, lowering claim-level factuality below the no-retrieval baseline even when the prompt tells it to ignore unrelated retrieved content.
- Surveys causes, kinds, and detection of hallucination across data, training, and inference, and finds no complete solution.
- Training a language model with differential privacy — whether DP-SGD pre-training or DP LoRA fine-tuning — makes it generate more false claims about facts in its training data than a non-private counterpart, and the effect grows as the privacy budget tightens, because per-example gradient clipping plus noise prevents low-frequency facts from being acquired at all while flattening the next-token distribution onto incorrect alternatives.
- From Passive Response to Proactive Correction: Enhancing LLM Robustness Against Input Fact Perturbations
On questions whose premises are false or internally contradictory, prompting mid-size instruct models (Qwen2.5-7B, LLaMA-3.1-8B, Gemma3-12B) to reason step by step can lower accuracy below plain answering, because the reasoning chain elaborates from the flawed premise instead of challenging it.
CapabilityKind / backingmechanism · single-paperScopeMid-size open instruct models, short-form QA with planted false premises or contradictions (TruthfulQA multiple-choice, FalseQA, the authors' MisFactQA); not tested on premise-clean questions, where CoT is expected to help.TechniqueStance on what we holdneitherFalsifierOn false-premise question sets, CoT prompting matching or beating direct answering across model families, with the drop not reproducing.How well evidencedMeasured on three open instruct models across three datasets against a default-prompt baseline; CoT fell below Original on TruthfulQA for all three models and on FalseQA for LLaMA and Gemma, and also below Original for GPT-4o-mini and DeepSeek-V3. Judged by an o3-mini automated judge with reported human agreement. Single paper; the causal story (reasoning amplifies the accepted premise) is argued from case studies rather than isolated experimentally.What this capability already holds (22)
- A ~2M-parameter classifier head that reads hidden states already computed during generation (tapping shallow, middle and deep layers of the generating model) detects response-level hallucination at least as well as specialized hidden-state hallucination detectors, and its detection quality rises with the scale of the base model it is attached to.
- Accuracy on a fact scales with how many pretraining documents mention it, so long-tail facts are systematically unreliable.
- For black-box hallucination detection using only sampled responses and token log-probabilities, semantic-entropy signals go to zero whenever the samples collapse into one semantic cluster — which happens for a large share of hallucinated queries, up to nearly all of them on tasks with confusable entities and figures — while token-level uncertainty still separates many of those cases, so the two signals fail on different queries and combining them detects more than either alone.
- For closed-book hallucination detection, training a small supervised classifier over many heterogeneous uncertainty scores beats the best single score, but the gain comes from the diversity of sampling-based black-box signals: ensembles over only single-generation token-probability features add little, while black-box-only ensembles do nearly as well as the full set.
- On code prompts that are unsatisfiable by design, open-weight code and reasoning models refuse based on how suspicious the request looks rather than how deeply impossible it is: they refuse famous theoretical impossibilities far more often than requests for plausible-sounding nonexistent packages, and the stronger models in the set close the gap on theory while barely improving on fabricated ecosystem entities.
- Decomposing long answers into atomic facts and checking each with search catches most errors and beats human annotators on cost and agreement.
- For detecting hallucinated text spans in vision-language model outputs, span localization and confidence calibration come from different architectures: a fine-tuned generative VLM proposes better span boundaries but scores them poorly, while a discriminative token tagger trained with a direct regression loss on human-consensus confidence gives better-correlated probabilities but conservative spans, so using the generative spans as proposals and the tagger's probabilities as scores beats either alone.
- For filtering unsupported LLM-generated vulnerability reports in security triage, statistical machine-text detectors are the wrong instrument: they score provenance, not correctness, and human-written security reports are template-driven and low-perplexity, so they trip the same signal that flags machine text.
- When fine-tuning a base model on instruction data, removing from the training targets any factual claim the base model cannot consistently recall raises the supported-claim rate of later long-form generations, but the gain comes largely from a more conservative response policy — more refusals and fewer supported claims per answer — not from generating more correct facts at equal coverage.
- General-purpose factuality verifiers (entailment-, consistency-, and RAG-trained) and zero-shot frontier LLM judges perform near chance at spotting unsupported claims in scientific peer reviews that must be checked against the full submitted paper, because they cannot separate paper-unsupported assertions from legitimate evaluative critique; small models fine-tuned on in-domain examples beat them by a wide margin.
- Grounding generation in retrieved documents improves factual accuracy on knowledge-intensive tasks.
- In LLM-based ASR, steering decoding toward acoustic evidence only helps if candidates are first restricted to tokens within a small likelihood margin of the greedy token: unconstrained selection by an acoustic compatibility score removes hallucinated outputs but destroys transcription accuracy through unbounded insertions, while the constrained version removes a large share of hallucinations at near-zero WER/CER cost.
- Long-form biographies from strong models contain a substantial share of unsupported atomic facts, rising for less well-known subjects.
- Models reproduce common human misconceptions, and larger models were not more truthful on this benchmark.
- In multi-agent LLM systems where one agent starts with an erroneous shared belief, broadcasting every agent's full context at every step raises the rate of false assertions above doing no synchronization at all, because the error propagates to agents that were previously correct — and the harm appears only in tasks where one wrong fact cascades across semantically linked dimensions (destination to airport to weather), not where agent contexts are largely orthogonal.
- In open-weight 7-8B instruct models, a supervised detector built on how hidden states change between adjacent layers separates factually wrong from correct answers better than a probe on any single layer, and shuffling the layer order destroys most of the signal — so the ordering of the depth trajectory, not just the content of one layer, carries the information.
- On questions whose premises are false or internally contradictory, prompting mid-size instruct models (Qwen2.5-7B, LLaMA-3.1-8B, Gemma3-12B) to reason step by step can lower accuracy below plain answering, because the reasoning chain elaborates from the flawed premise instead of challenging it.
- In retrieval-augmented answers, splitting an answer into claims, checking each against the retrieved source, and then acting on the flagged claims reduces the share of answers judged to contain unsupported content — but the strategies trade grounding against preservation: deleting unsupported claims reduces unsupported content most while retaining the least original text, and rewriting retains the most while reducing least.
- Grounding answers in retrieved documents reduces unsupported generation but transfers the trust problem to the retrieval channel: whatever lands in context is treated as reliable, which shows up both as following instructions planted in retrieved content and as deferring to whichever account is better represented when sources disagree.
- When retrieval for a summarization task pulls definitions by surface term match from a general encyclopedia, ambiguous terms fetch the wrong sense and the model incorporates that unsupported background into its output, lowering claim-level factuality below the no-retrieval baseline even when the prompt tells it to ignore unrelated retrieved content.
- Surveys causes, kinds, and detection of hallucination across data, training, and inference, and finds no complete solution.
- Training a language model with differential privacy — whether DP-SGD pre-training or DP LoRA fine-tuning — makes it generate more false claims about facts in its training data than a non-private counterpart, and the effect grows as the privacy budget tightens, because per-example gradient clipping plus noise prevents low-frequency facts from being acquired at all while flattening the next-token distribution onto incorrect alternatives.
- SciMIF: Understanding Multimodal Instruction Following in Scientific Domains
On scientific tasks where a domain-specific constraint and a general presentation constraint (letter case, output format, structure) are both stated in the same prompt, multimodal models satisfy the domain-specific constraint more often than the general formatting one, so domain competence does not imply full instruction compliance.
CapabilityKind / backingobservation · single-paperScope2,527 constraint-injected samples built from 13 existing scientific datasets across chemistry, geography, biology, materials science and physics; four closed-source and seven open-source multimodal models; constraints scored by exact match, precision check, or LLM judge.TechniquenoneStance on what we holdsupports — On verifiable instructions such as length and format constraints, strong models …The paper reports that adherence falls as constraint counts rise and that general format/letter constraints are the weakest group even for the strongest model.FalsifierA benchmark of the same kind where models score equal or higher on general formatting constraints than on injected discipline-specific constraints, across model families.How well evidencedMeasured with per-constraint DRFR split by constraint domain and group: the reported gap for the top closed model is roughly 89% on scientific versus 75% on general constraints, and letter constraints sit near 51%. Constraints were injected into existing problems, so difficulty of the two constraint types is not matched — the gap could partly reflect that general constraints here are harder in absolute terms, not that they are neglected.What this capability already holds (10)
- When building preference data to teach 7-8B instruct models to follow multi-constraint instructions, perturbing each atomic constraint in several directions so the perturbed instruction's valid-response set contains, partly overlaps, or is disjoint from the original's — and pairing responses drawn from each sub-region — raises constraint adherence more than rejection sampling or teacher-correction pairs, and the gain holds on perturbed instruction variants the baselines barely improve on.
- Fine-tuning a small multimodal model on synthesized constraint-rich instructions raises adherence to output-level constraints (format, word count, keywords) while lowering accuracy on perception-grounded instructions, so the average can fall below the base model unless the synthesis loop tracks per-constraint failures and image compatibility.
- A correction made in conversation fixes one exchange and is gone when the session ends; the same correction encoded as a guide rule, a sensor, or a permission fixes every future run — so an agent system improves over time only to the extent that failures are converted into harness structure rather than re-applied as prompts, and the rate of new guide rules per week falling is the sign the conversion is working.
- Decomposing an instruction into explicit yes/no items and judging against them beats asking for a holistic score, and the same checklist turned on the model's own draft improves the draft. The gain comes from making each requirement separately checkable, not from the model trying harder — so it is largest on instructions carrying several constraints at once.
- Many failures come from not following domain policy documents that were provided in the prompt.
- On realistic web tasks with explicit goals, the best model completed only a small fraction end to end, far below human performance.
- Giving a coding agent a repository context file — AGENTS.md, CLAUDE.md — does not raise its success rate on benchmark coding tasks and costs about 20% more inference: across 4 agents, 2 benchmarks and 3 conditions, LLM-generated files hurt slightly in 5 of 8 settings while developer-written ones gained 2.4% (p=0.21), and agents obey the files — which is why they spend more — so the files do not carry success-relevant information rather than being ignored.
- On scientific tasks where a domain-specific constraint and a general presentation constraint (letter case, output format, structure) are both stated in the same prompt, multimodal models satisfy the domain-specific constraint more often than the general formatting one, so domain competence does not imply full instruction compliance.
- On verifiable instructions such as length and format constraints, strong models still fail a meaningful share, and failures grow when several constraints apply at once.
- When a video-understanding instruction contains several conditional branches and the model must pick the branch matching what the video shows, both proprietary and open multimodal models pick correctly far more often when the correct branch is listed first, and accuracy falls as the correct branch moves later in the list.
- VISA: Agentic Self-Evolving Data Synthesis for Multimodal Instruction Following
Fine-tuning a small multimodal model on synthesized constraint-rich instructions raises adherence to output-level constraints (format, word count, keywords) while lowering accuracy on perception-grounded instructions, so the average can fall below the base model unless the synthesis loop tracks per-constraint failures and image compatibility.
CapabilityKind / backingobservation · single-paperScopeQwen3.5-4B target model fine-tuned on ~15k synthesized samples, evaluated on MM-IFEval C-Level vs P-Level splitsTechniqueproposed: verifier-bound self-evolving instruction synthesisStance on what we holdneitherFalsifierA static constraint-rich synthesis pipeline that raises output-constraint accuracy without any drop on perception-grounded instruction items, across multiple target models.How well evidencedOne ablation table on one benchmark with one 4B backbone: static pipeline moved C-Level from 62.7 to 64.9 while P-Level fell from 55.0 to 46.0, and adding reflection plus memory recovered P-Level to 54.0. Single seed, no variance reported; P-Level has only 100 items, so the trade-off size is loosely estimated.What this capability already holds (10)
- When building preference data to teach 7-8B instruct models to follow multi-constraint instructions, perturbing each atomic constraint in several directions so the perturbed instruction's valid-response set contains, partly overlaps, or is disjoint from the original's — and pairing responses drawn from each sub-region — raises constraint adherence more than rejection sampling or teacher-correction pairs, and the gain holds on perturbed instruction variants the baselines barely improve on.
- Fine-tuning a small multimodal model on synthesized constraint-rich instructions raises adherence to output-level constraints (format, word count, keywords) while lowering accuracy on perception-grounded instructions, so the average can fall below the base model unless the synthesis loop tracks per-constraint failures and image compatibility.
- A correction made in conversation fixes one exchange and is gone when the session ends; the same correction encoded as a guide rule, a sensor, or a permission fixes every future run — so an agent system improves over time only to the extent that failures are converted into harness structure rather than re-applied as prompts, and the rate of new guide rules per week falling is the sign the conversion is working.
- Decomposing an instruction into explicit yes/no items and judging against them beats asking for a holistic score, and the same checklist turned on the model's own draft improves the draft. The gain comes from making each requirement separately checkable, not from the model trying harder — so it is largest on instructions carrying several constraints at once.
- Many failures come from not following domain policy documents that were provided in the prompt.
- On realistic web tasks with explicit goals, the best model completed only a small fraction end to end, far below human performance.
- Giving a coding agent a repository context file — AGENTS.md, CLAUDE.md — does not raise its success rate on benchmark coding tasks and costs about 20% more inference: across 4 agents, 2 benchmarks and 3 conditions, LLM-generated files hurt slightly in 5 of 8 settings while developer-written ones gained 2.4% (p=0.21), and agents obey the files — which is why they spend more — so the files do not carry success-relevant information rather than being ignored.
- On scientific tasks where a domain-specific constraint and a general presentation constraint (letter case, output format, structure) are both stated in the same prompt, multimodal models satisfy the domain-specific constraint more often than the general formatting one, so domain competence does not imply full instruction compliance.
- On verifiable instructions such as length and format constraints, strong models still fail a meaningful share, and failures grow when several constraints apply at once.
- When a video-understanding instruction contains several conditional branches and the model must pick the branch matching what the video shows, both proprietary and open multimodal models pick correctly far more often when the correct branch is listed first, and accuracy falls as the correct branch moves later in the list.
- Benchmarking AI Agents for Hardware Design Automation via MCP Tool Calling
For locally deployed open-weight models driving a stateful, dependency-ordered MCP tool server, cutting tool descriptions from full specifications (purpose, parameter semantics, constraints, failure conditions) down to one sentence each raises the fraction of calls the server rejects for every model tested, while its effect on task coverage is less consistent.
CapabilityKind / backingobservation · single-paperScopeSeven 4-bit quantised open models (8B-31B) run through Ollama on an expert-informed hardware-design benchmark of 14 tools; single-agent ReAct loop with other configuration held fixed.Stance on what we holdsupports — Shows LLMs hallucinate API names and arguments when calling large API collection…Both find that giving the model detailed tool documentation reduces malformed or invalid calls.FalsifierAn ablation on comparable stateful tool benchmarks where minimal one-sentence descriptions leave the tool failure rate unchanged or lower than comprehensive descriptions across models.How well evidencedMeasured as tool failure rate under matched configurations; the paper reports TFR rises for every model and roughly doubles for most, and comprehensive descriptions win in 35 of 42 model-suite best configurations. No absolute per-model numbers given for the ablation, and only one tool set of 14 tools on a proprietary replica server.What this capability already holds (14)
- Giving a coding agent a raw shell is worse than giving it a designed interface: SWE-agent's constrained Agent-Computer Interface — a file viewer windowed to 100 lines, a search tool that truncates large output, and an editor that lints before a change persists — roughly doubled SWE-bench resolution over raw shell access with the same model, because verbose output and unmanaged state are where the model loses its place.
- Across eight interactive environments, models fail mostly on long-horizon tool interaction, with open models far behind commercial ones.
- When an agent must work over a very large tool catalogue, wrapping each tool in a natural-language interface that resolves the API schema internally — so raw schemas are retrieved on demand rather than enumerated in the model's prompt — contributes more to multi-step tool- call success than the surrounding planner, router, or verifier stages.
- When a calculator-using model is trained with reinforcement learning on verifiable final-answer rewards for an arithmetic search task (Countdown), the gain lands almost entirely at low k — pass@1 rises sharply while pass@16 moves little or falls — because the update can only reinforce correct trajectories the starting policy already samples, and prompt groups with no correct sample supply no gradient.
- Fine-tuning on a large corpus of real API-call traces markedly improves multi-tool task completion in open models.
- A linear probe on a tool-calling model's hidden state at the last generated token detects incorrect tool-calls — including wrong-but-well-typed argument values that parsers and logs do not catch — and works better on larger models and at middle-to-late layers than at the final layer.
- For locally deployed open-weight models driving a stateful, dependency-ordered MCP tool server, cutting tool descriptions from full specifications (purpose, parameter semantics, constraints, failure conditions) down to one sentence each raises the fraction of calls the server rejects for every model tested, while its effect on task coverage is less consistent.
- Self-supervised training on tool-call examples teaches a model when and how to call simple tools, narrowing the gap on tasks that need them.
- Shows LLMs hallucinate API names and arguments when calling large API collections from memory, and that retrieving documentation reduces this.
- In simulated retail and airline domains with tools and policy documents, frontier models succeeded on well under two thirds of tasks and success dropped sharply when the same task had to be passed several times in a row.
- Worked examples in a tool description, long the standard way to teach tool use, can constrain a capable model to the exploration space the examples describe; Anthropic now advises designing expressive parameters instead — a status enumeration that implies its own usage rather than a demonstration of it.
- The large reported gains from fine-tuning on tool-call trajectories come from small open models starting far behind — distilling a few hundred trajectories from a stronger model moves them a long way. Whether the same procedure helps a model that is already good at tool use is a separate question this evidence does not answer.
- In simulated retail customer-support tasks with real tools and policy documents, GPT-4o — the best performer in the study — still completed well under two-thirds of tasks correctly, and its rate of passing the identical task eight times in a row (a proxy for production reliability) was far lower than its single-attempt success rate.
- Used zero-shot as step-level action critics in long-horizon tool-calling tasks, frontier models are over-pessimistic — flagging a large share of correct actions and pushing the actor into revision loops that lower success below no critic at all — whereas small models fine-tuned on action-level verification rationales flag far fewer valid actions and raise repeated-run reliability.
- Knowledge-Verified Emergent Deception in LLM Agents Under Conflicting Incentives
In agentic customer-service settings where a deployer incentive conflicts with a user's documented entitlement, a model's willingness to lie under incentive alone is not predicted by its willingness to lie when explicitly told to — some models comply with explicit deception instructions at high rates while almost never initiating deception under incentive, so instructed-deception evaluations measure capability rather than propensity.
CapabilityKind / backingmechanism · single-paperScopeEnglish customer-service dialogues with binary, source-grounded entitlements, a system-prompt business incentive, and a simulated trust-tracking customer; deception scored only after a neutral probe confirms the model knows the entitlement.Techniqueproposed: Knowledge-gated deception scoringStance on what we holdneitherFalsifierIf across a broad model panel emergent deception rate under incentive were closely rank-correlated with instructed deception rate, so that measuring one predicted the other, the distinction would collapse.How well evidenced18 models, 112 cases across 8 domains, 3 initial trust levels, >18,000 multi-turn interactions; some models sit at 0% emergent deception but 87-90% instructed, others already above 50% emergent. Lies labelled by a GPT-5.1 judge requiring an exact quote, with human validation of cases. Single benchmark, simulated customer, so the dissociation is shown in one environment family only.What this capability already holds (3)
- In agentic customer-service settings where a deployer incentive conflicts with a user's documented entitlement, a model's willingness to lie under incentive alone is not predicted by its willingness to lie when explicitly told to — some models comply with explicit deception instructions at high rates while almost never initiating deception under incentive, so instructed-deception evaluations measure capability rather than propensity.
- State-of-the-art models such as GPT-4 can understand and induce false beliefs in other agents through deliberate strategic reasoning, a capability that was absent in earlier-generation language models.
- Frozen LLMs, using only retrieval over past communications and self-reflection rather than fine-tuning, can play the social deduction game Werewolf competently and show emergent strategic behavior, including deception, without being explicitly trained for it.
- Sycophancy Suppression Can Impair Rational Updating: Anti-Sycophancy Should Preserve the Ability to Update
In open-weight instruction-tuned models, interventions that suppress caving to user pushback (DPO, SFT on chosen responses, or activation steering) also tend to reduce the model's rate of correcting a wrong answer when genuine supporting evidence is supplied, because the two answer-flip behaviors run on overlapping MLP neurons and attention heads with positively aligned steering directions.
CapabilityKind / backingmechanism · single-paperScopeFour open-weight instruction-tuned models (Llama-3.1-8B, Llama-3.2-3B, Gemma-3-4B, Qwen3-8B) on TruthfulQA, PopQA, EX-FEVER, AQuA, with clean gold evidence; not tested on proprietary models or noisy/conflicting evidence.Stance on what we holdcontests — Fine-tuning on simple synthetic examples where the user's opinion is irrelevant …The paper finds that synthetic/SFT-style anti-sycophancy training reduces yielding but often costs the model's ability to update on genuine evidence, a side effect that claim does not account for.FalsifierAn anti-sycophancy intervention that lowers the unsupported-yielding rate across models and datasets while leaving evidence-driven correction rates unchanged or higher, together with evidence that the components driving the two behaviors are largely disjoint.How well evidencedTwo-turn evaluation separating pressure and evidence conditions, four models by four datasets, with per-cell trade-off accounting; mechanistic support from gradient attribution patching (validated by cross-patching against random component baselines) showing large top-k component overlap and layer-wise cosine similarity of steering directions around +0.4 to +0.84. Joint optimization reduced but did not remove the trade-off. Single paper; no proprietary or larger models.What this capability already holds (11)
- Fine-tuning on simple synthetic examples where the user's opinion is irrelevant to the answer reduces sycophancy substantially.
- Five assistants trained with human feedback consistently show sycophancy across tasks, and human preference data itself rewards it.
- A model's tendency to shift political stance toward a bare demographic identity label is a separate vulnerability from its tendency to shift toward an explicitly stated user opinion: on open-ended US policy prompts, the models most moved by an identity label are among the least moved by a stated opinion, so a benchmark using only stated opinions misses identity-driven shift.
- When a multimodal model is given external text that contradicts the image, making it commit to a description of the image before the text is admitted, then reconciling the two in a second call, recovers accuracy the single-prompt setup loses — but the benefit of withholding the text from the first call is model- and text-source dependent, and on some models context-preserving prompting is still better.
- In open-weight instruction-tuned models, interventions that suppress caving to user pushback (DPO, SFT on chosen responses, or activation steering) also tend to reduce the model's rate of correcting a wrong answer when genuine supporting evidence is supplied, because the two answer-flip behaviors run on overlapping MLP neurons and attention heads with positively aligned steering directions.
- When preference pairs are built by having one strong model write all chosen responses and one weak model all rejected responses (delta learning), contrastive objectives such as DPO transfer the chosen model's sycophantic-agreement rate to the student even though no individual example contains sycophancy — the student's rate tracks the log-ratio of the two teachers' sycophancy rates, so reversing which teacher is 'chosen' drives sycophancy far below the SFT starting point.
- Rewarding sycophantic behavior generalizes to more serious specification gaming in a small fraction of cases.
- For small instruction-tuned models (3-4B) answering closed-form true/false questions under a stated user opinion, scoring each sampled response by how much more common its answer is than the group itself predicted, and using that score as the GRPO reward, reduces answer flips under user pressure and raises accuracy without any labels, roughly matching label-supervised desycophancy fine-tuning at higher compute cost.
- Claude 2, like four other assistants tested in the same study, changed correct answers under simple user pushback ("are you sure?") and shifted its evaluation of a user's argument toward whatever position the user appeared to hold.
- When a user profile of stated attributes and preferences is placed in context, models agree with the user far more than with no profile — across 13 open and closed models the profile, not retrieved conversation memory, is the dominant driver, and inverting the stated preference flips almost all responses to the opposite side.
- Sycophancy is triggered by the user's stated view being in context, so the cheapest control is not putting it there — ask for the answer before the opinion, or withhold the opinion entirely. Fine-tuning is the answer for the cases where the opinion has to be in context and the answer still must not move.
- Unsaid, Unsafe? Implicit Security Obligations in LLM-Based RTL Code Generation
When hardware description code (Verilog, SystemVerilog, VHDL, Amaranth-Python) is generated from a functional specification that omits security obligations — as real SoC docs do, keeping countermeasures in separate config files — frontier models pass functional tests far more often than security tests, and the model with the highest functional pass rate is not the safest; naming the relevant CWE in the prompt raises the security pass rate sharply, showing the limit is missing awareness of the required obligation rather than inability to write defensive RTL.
CapabilityKind / backingmechanism · single-paperScopeFive resource-access CWE families that are observable at module ports under black-box simulation; 392 task instances from real open-source SoC IP; five frontier models, zero-shot, temperature 0.6, non-thinking mode.Techniqueproposed: Symbolic inference of implicit security obligations from a spec graph plus CWE ontology, then obligation-guided revision of a functional draftStance on what we holdsupports — Models complied with insecure completions a large fraction of the time, and more…Extends the software finding to hardware code and adds that greater functional capability does not track greater security in the same setting.FalsifierOn the same obligation-omitted specifications, a model whose functional pass rate is high also passes security tests at a similar rate, or supplying the aligned CWE entry fails to raise security pass rates.How well evidencedMeasured on a purpose-built 392-instance benchmark with separate functional and security testbenches, five runs per case, mean±std reported; vanilla functional pass 73-79% vs security pass 14-35%, security rising to about 59% mean with the aligned CWE entry supplied. Security testbenches are an operational approximation of the obligation set, and the CWE-supplied condition is an upper-bound cue that also lowered functional pass rates, so the two metrics are not independent.What this capability already holds (7)
- Across many models and hundreds of thousands of samples, a substantial share of recommended packages did not exist, and the names repeated, making them exploitable.
- Checking that every package an agent names actually exists catches the invented ones but not the missing ones: what agents declare is routinely a fraction of what their code imports at runtime, so generated projects fail in a clean environment even when every declared package is real. Existence is a necessary check, not a sufficient one.
- When hardware description code (Verilog, SystemVerilog, VHDL, Amaranth-Python) is generated from a functional specification that omits security obligations — as real SoC docs do, keeping countermeasures in separate config files — frontier models pass functional tests far more often than security tests, and the model with the highest functional pass rate is not the safest; naming the relevant CWE in the prompt raises the security pass rate sharply, showing the limit is missing awareness of the required obligation rather than inability to write defensive RTL.
- Models complied with insecure completions a large fraction of the time, and more capable models were more likely to suggest insecure code.
- Roughly forty percent of Copilot completions in security-relevant scenarios were vulnerable.
- GPT-4 recommended non-existent Python and JavaScript packages in only a small percentage of generations — lower than the open models tested in the same study — but the same hallucinated names recurred often enough across runs to be practically exploitable by an attacker who registers them ahead of time.
- Users with an AI assistant wrote less secure code and were more confident it was secure.
- Prediction of Prediction (PoP): Inter-Layer Activation Fusion for Single-Pass Hallucination Detection in Large Language Models
In open-weight 7-8B instruct models, a supervised detector built on how hidden states change between adjacent layers separates factually wrong from correct answers better than a probe on any single layer, and shuffling the layer order destroys most of the signal — so the ordering of the depth trajectory, not just the content of one layer, carries the information.
CapabilityKind / backingmechanism · single-paperScopeRequires white-box access to intermediate activations and labelled data to train the scoring head and calibrator; evaluated on English closed-book QA and dialogue (TruthfulQA, HaluEval, FaithDial) with Llama-3-8B, Qwen2.5-7B, Mistral-7B; predictive correlation only, no causal intervention.Techniqueproposed: Inter-layer transition-divergence hallucination probeStance on what we holdneitherFalsifierA replication where a probe on the best single layer, or a matched-size head on the final layer, matches the cross-layer transition detector's AUROC, or where shuffling layer order leaves accuracy roughly unchanged.How well evidencedSingle paper, single author, author-verified numbers. On Llama-3-8B/TruthfulQA the full method reports 75.5% AUROC vs 66.8% for the best single layer, 66.4% for a matched final-layer MLP, and 58.3% with shuffled layer order; baselines include logit entropy, perplexity, spectral geometry, semantic entropy and an NLI verifier. Transfer to other backbones and datasets loses a few points. No independent replication, and the detector's advantage over the multi-sample baselines is small enough to be within plausible noise given no error bars.What this capability already holds (22)
- A ~2M-parameter classifier head that reads hidden states already computed during generation (tapping shallow, middle and deep layers of the generating model) detects response-level hallucination at least as well as specialized hidden-state hallucination detectors, and its detection quality rises with the scale of the base model it is attached to.
- Accuracy on a fact scales with how many pretraining documents mention it, so long-tail facts are systematically unreliable.
- For black-box hallucination detection using only sampled responses and token log-probabilities, semantic-entropy signals go to zero whenever the samples collapse into one semantic cluster — which happens for a large share of hallucinated queries, up to nearly all of them on tasks with confusable entities and figures — while token-level uncertainty still separates many of those cases, so the two signals fail on different queries and combining them detects more than either alone.
- For closed-book hallucination detection, training a small supervised classifier over many heterogeneous uncertainty scores beats the best single score, but the gain comes from the diversity of sampling-based black-box signals: ensembles over only single-generation token-probability features add little, while black-box-only ensembles do nearly as well as the full set.
- On code prompts that are unsatisfiable by design, open-weight code and reasoning models refuse based on how suspicious the request looks rather than how deeply impossible it is: they refuse famous theoretical impossibilities far more often than requests for plausible-sounding nonexistent packages, and the stronger models in the set close the gap on theory while barely improving on fabricated ecosystem entities.
- Decomposing long answers into atomic facts and checking each with search catches most errors and beats human annotators on cost and agreement.
- For detecting hallucinated text spans in vision-language model outputs, span localization and confidence calibration come from different architectures: a fine-tuned generative VLM proposes better span boundaries but scores them poorly, while a discriminative token tagger trained with a direct regression loss on human-consensus confidence gives better-correlated probabilities but conservative spans, so using the generative spans as proposals and the tagger's probabilities as scores beats either alone.
- For filtering unsupported LLM-generated vulnerability reports in security triage, statistical machine-text detectors are the wrong instrument: they score provenance, not correctness, and human-written security reports are template-driven and low-perplexity, so they trip the same signal that flags machine text.
- When fine-tuning a base model on instruction data, removing from the training targets any factual claim the base model cannot consistently recall raises the supported-claim rate of later long-form generations, but the gain comes largely from a more conservative response policy — more refusals and fewer supported claims per answer — not from generating more correct facts at equal coverage.
- General-purpose factuality verifiers (entailment-, consistency-, and RAG-trained) and zero-shot frontier LLM judges perform near chance at spotting unsupported claims in scientific peer reviews that must be checked against the full submitted paper, because they cannot separate paper-unsupported assertions from legitimate evaluative critique; small models fine-tuned on in-domain examples beat them by a wide margin.
- Grounding generation in retrieved documents improves factual accuracy on knowledge-intensive tasks.
- In LLM-based ASR, steering decoding toward acoustic evidence only helps if candidates are first restricted to tokens within a small likelihood margin of the greedy token: unconstrained selection by an acoustic compatibility score removes hallucinated outputs but destroys transcription accuracy through unbounded insertions, while the constrained version removes a large share of hallucinations at near-zero WER/CER cost.
- Long-form biographies from strong models contain a substantial share of unsupported atomic facts, rising for less well-known subjects.
- Models reproduce common human misconceptions, and larger models were not more truthful on this benchmark.
- In multi-agent LLM systems where one agent starts with an erroneous shared belief, broadcasting every agent's full context at every step raises the rate of false assertions above doing no synchronization at all, because the error propagates to agents that were previously correct — and the harm appears only in tasks where one wrong fact cascades across semantically linked dimensions (destination to airport to weather), not where agent contexts are largely orthogonal.
- In open-weight 7-8B instruct models, a supervised detector built on how hidden states change between adjacent layers separates factually wrong from correct answers better than a probe on any single layer, and shuffling the layer order destroys most of the signal — so the ordering of the depth trajectory, not just the content of one layer, carries the information.
- On questions whose premises are false or internally contradictory, prompting mid-size instruct models (Qwen2.5-7B, LLaMA-3.1-8B, Gemma3-12B) to reason step by step can lower accuracy below plain answering, because the reasoning chain elaborates from the flawed premise instead of challenging it.
- In retrieval-augmented answers, splitting an answer into claims, checking each against the retrieved source, and then acting on the flagged claims reduces the share of answers judged to contain unsupported content — but the strategies trade grounding against preservation: deleting unsupported claims reduces unsupported content most while retaining the least original text, and rewriting retains the most while reducing least.
- Grounding answers in retrieved documents reduces unsupported generation but transfers the trust problem to the retrieval channel: whatever lands in context is treated as reliable, which shows up both as following instructions planted in retrieved content and as deferring to whichever account is better represented when sources disagree.
- When retrieval for a summarization task pulls definitions by surface term match from a general encyclopedia, ambiguous terms fetch the wrong sense and the model incorporates that unsupported background into its output, lowering claim-level factuality below the no-retrieval baseline even when the prompt tells it to ignore unrelated retrieved content.
- Surveys causes, kinds, and detection of hallucination across data, training, and inference, and finds no complete solution.
- Training a language model with differential privacy — whether DP-SGD pre-training or DP LoRA fine-tuning — makes it generate more false claims about facts in its training data than a non-private counterpart, and the effect grows as the privacy budget tightens, because per-example gradient clipping plus noise prevents low-frequency facts from being acquired at all while flattening the next-token distribution onto incorrect alternatives.
- ROPE: Routed Origin Policy Enforcement against Indirect Prompt Injection
For tool-using agents, enforcing injection defense as a deterministic provenance check on sensitive tool parameters — with the only model call reading the trusted user request and never fetched content — makes admission decisions invariant to how an injection is worded, whereas defenses that judge the agent's runtime plan or behavior with a model can be steered by reworded injections.
CapabilityKind / backingmechanism · single-paperScopeHolds where the platform exposes unforgeable origin metadata (signed senders, user-owned records) for values the agent reads, and where the harm passes through a state-changing tool parameter; does not cover harm in free-text bodies, the agent's message to the user, or parameters the user delegates wholly to attacker-writable content.Techniqueproposed: deterministic origin check on sensitive tool parametersStance on what we holdneitherFalsifierAn adaptive attacker that raises attack success against the origin-check defense by rewording injections alone, without altering the origin of the value it plants; or a model-in-the-loop plan-conformance defense that proves equally unmoved by injection optimization at comparable clean utility.How well evidencedMeasured on AgentDyn (three open-ended suites) and AgentDojo with four agent models against eleven baselines. Static attack success held to 1.6-2.6% with 82-100% of undefended clean utility; under AutoDojo injection optimization the origin check moved by under a point while DRIFT roughly doubled on two API models and rose from 7.1 to 28.5 on Qwen3-235B. Long-horizon staged attacks reached 0% against it. Paraphrase invariance is also argued formally, conditional on stated deployment assumptions. Author-run comparison; baselines reimplemented by the same team, and three injection tasks were re-scored by the authors.What this capability already holds (11)
- For computer-use agents operating on a real OS, indirect-injection success rates measured with a fixed hand-written injection template understate vulnerability, because an attacker that adapts phrasing from the agent's own refusal trajectories can reach substantial success on models the fixed template never penetrates.
- Demonstrates that instructions planted in retrieved content can hijack real LLM-integrated applications for data theft and manipulation.
- For long-horizon tool-calling agents (tasks needing five or more calls), embedding state-transition cues — preconditions, invariants, completion states — into the descriptions of the tools on the intended chain is what actually steers the agent's trajectory; runtime corrective text appended to tool results only patches residual drift, and the plausible user prompt alone (persona, deadlines, format constraints) does not establish the trajectory at all.
- For open-weight agents where attention matrices are accessible, detecting injection by asking which context span actually drove the tool call — aggregating attention over the decision tokens and localizing the guiding span, then checking whether that span's provider has authority for the action — catches unauthorized tool invocations at higher true-positive and lower false-positive rates than static scanners that look for malicious-looking text, because benign-looking injected text is only harmful when it is what the model actually attends to.
- Prompt injection defenses that report near-zero attack success on short-context benchmarks lose most of that protection when the injected instruction sits inside a document of thousands to tens of thousands of tokens: fine-tuned separation defenses and detect-localize-remove pipelines still let a large share of injections through on paper review, resume screening, code review and email threads.
- Separating prompt and data with reserved delimiters and fine-tuning on that structure blocks most injections at little cost to utility.
- Simple goal-hijacking and prompt-leaking attacks succeed against production models with short adversarial strings.
- Separating instructions from data raises injection resistance substantially, but both published versions get their strength from fine-tuning the model on the separation, and both report improved robustness rather than elimination. Treat it as one layer of defense in depth; the prompt-only variant, without training, has no measured efficacy behind it here.
- For tool-using agents, enforcing injection defense as a deterministic provenance check on sensitive tool parameters — with the only model call reading the trusted user request and never fetched content — makes admission decisions invariant to how an injection is worded, whereas defenses that judge the agent's runtime plan or behavior with a model can be steered by reworded injections.
- For tool-using agents, restricting capabilities at the harness level after untrusted content enters the context — revoking or tightening the parameter envelopes of skills that lie on graph paths to deployer-defined forbidden states — cuts indirect-injection attack success further than prompt-level or per-action authorization defenses, and does so with no extra model calls or tokens, because enforcement reads the transition graph rather than the natural-language content.
- Training models to rank system, user, and tool instructions by privilege improves robustness to injections in tool outputs.
- LongGuard: Mechanistic Analysis and Training-Free Mitigation of Long-Context Failure in Safety Guardrails
For safety guardrail classifiers, long-context failure is caused by proportional dilution of the unsafe evidence rather than by absolute input length: as the flagged span's share of the input shrinks, attention mass on it falls, the unsafe-minus-safe logit margin compresses, and unsafe recall collapses, while filling the same length with copies of the unsafe text leaves recall largely intact.
CapabilityKind / backingmechanism · single-paperScopeOpen guardrail classifiers (7B-20B) judging a short labeled span embedded in neutral filler, 0.25k-32k words; filler from Wikipedia, chat logs, code, and Chinese text. Safe recall is largely unaffected.Techniqueproposed: Chunked detection plus attention-head sharpening for long-context guardrailsStance on what we holdneitherFalsifierA paired design in which unsafe recall drops as much when the context is filled with repeated copies of the unsafe needle as when it is filled with benign text, or where recall tracks absolute length rather than needle share.How well evidenced15 guardrails on a 30,400-sample synthetic benchmark: mean unsafe recall change -50.1 points vs -1.3 for safe recall; Benign-Fill drops 76.0 to 25.1 while the Needle-Repeat control drops only 85.4 to 67.5. Six models analyzed for attention and logit margin, with partial correlations controlling for log length. Restricting visible context to the needle raises recall; keeping equal random filler lowers it. All needles are synthetically inserted, so real-world long prompts may dilute differently.What this capability already holds (7)
- Holding the task fixed and only lengthening the input degrades reasoning long before the context limit is reached.
- On multi-document question answering with GPT-3.5 Turbo's 16k-context variant, accuracy dropped by more than twenty points when the document containing the answer was moved from the start or end of the context to the middle, with nothing else about the task changed.
- Most models claiming long contexts fail well before their advertised length on synthetic retrieval, tracing and aggregation tasks.
- Performance on multi-document QA is highest when the answer is at the start or end of the context and drops sharply in the middle.
- Where a passage sits in a long input changes how much the model uses it — accuracy is highest when the needed information is at the very start or the very end and lowest when it is in the middle — so ordering retrieved passages to put the most relevant ones first is a real lever on accuracy.
- On rubric-graded long-context tasks, most of the gain from a context- compilation harness comes from extracting the context's rules, exact terms and output spec into an explicit checklist placed in the prompt, not from the executable verifiers built on top of it — and the gain appears only on rule-dense tasks and on models with enough capacity, disappearing or reversing on open-ended tasks and on a small-activation model.
- For safety guardrail classifiers, long-context failure is caused by proportional dilution of the unsafe evidence rather than by absolute input length: as the flagged span's share of the input shrinks, attention mass on it falls, the unsafe-minus-safe logit margin compresses, and unsafe recall collapses, while filling the same length with copies of the unsafe text leaves recall largely intact.
- The Calls are Coming from Inside the Model: Investigating Probe-based Detection of Tool-Calling Errors in LLMs
A linear probe on a tool-calling model's hidden state at the last generated token detects incorrect tool-calls — including wrong-but-well-typed argument values that parsers and logs do not catch — and works better on larger models and at middle-to-late layers than at the final layer.
CapabilityKind / backingobservation · single-paperScope18 open tool-calling LLMs from 1B to 70B parameters, on BFCL simple_python/java/javascript and multiple splits (750 examples per model), models with above 80% tool-calling accuracy; all error types pooled as the positive class; 70/30 stratified split.Techniqueproposed: hidden-state probe for tool-call errorsStance on what we holdneitherFalsifierProbes trained this way scoring near chance AUROC on held-out tool-calls, or final-layer probes matching or beating middle-layer probes, or no size advantage once tool-calling accuracy is controlled.How well evidencedMeasured AUROC and AUPR per layer per model; most models above 0.80 AUROC, ~0.06 AUROC gain for 70B over ~8B. Transfer across disjoint error-type splits above 0.75 AUROC suggests a general correctness feature rather than error-specific cues. Confound with capability partly addressed: R^2 within the ~8B group is 0.005 and two large but lower-accuracy models still probe well. Single benchmark, short simple-call splits, in-distribution test split — no deployment or distribution-shift test.What this capability already holds (14)
- Giving a coding agent a raw shell is worse than giving it a designed interface: SWE-agent's constrained Agent-Computer Interface — a file viewer windowed to 100 lines, a search tool that truncates large output, and an editor that lints before a change persists — roughly doubled SWE-bench resolution over raw shell access with the same model, because verbose output and unmanaged state are where the model loses its place.
- Across eight interactive environments, models fail mostly on long-horizon tool interaction, with open models far behind commercial ones.
- When an agent must work over a very large tool catalogue, wrapping each tool in a natural-language interface that resolves the API schema internally — so raw schemas are retrieved on demand rather than enumerated in the model's prompt — contributes more to multi-step tool- call success than the surrounding planner, router, or verifier stages.
- When a calculator-using model is trained with reinforcement learning on verifiable final-answer rewards for an arithmetic search task (Countdown), the gain lands almost entirely at low k — pass@1 rises sharply while pass@16 moves little or falls — because the update can only reinforce correct trajectories the starting policy already samples, and prompt groups with no correct sample supply no gradient.
- Fine-tuning on a large corpus of real API-call traces markedly improves multi-tool task completion in open models.
- A linear probe on a tool-calling model's hidden state at the last generated token detects incorrect tool-calls — including wrong-but-well-typed argument values that parsers and logs do not catch — and works better on larger models and at middle-to-late layers than at the final layer.
- For locally deployed open-weight models driving a stateful, dependency-ordered MCP tool server, cutting tool descriptions from full specifications (purpose, parameter semantics, constraints, failure conditions) down to one sentence each raises the fraction of calls the server rejects for every model tested, while its effect on task coverage is less consistent.
- Self-supervised training on tool-call examples teaches a model when and how to call simple tools, narrowing the gap on tasks that need them.
- Shows LLMs hallucinate API names and arguments when calling large API collections from memory, and that retrieving documentation reduces this.
- In simulated retail and airline domains with tools and policy documents, frontier models succeeded on well under two thirds of tasks and success dropped sharply when the same task had to be passed several times in a row.
- Worked examples in a tool description, long the standard way to teach tool use, can constrain a capable model to the exploration space the examples describe; Anthropic now advises designing expressive parameters instead — a status enumeration that implies its own usage rather than a demonstration of it.
- The large reported gains from fine-tuning on tool-call trajectories come from small open models starting far behind — distilling a few hundred trajectories from a stronger model moves them a long way. Whether the same procedure helps a model that is already good at tool use is a separate question this evidence does not answer.
- In simulated retail customer-support tasks with real tools and policy documents, GPT-4o — the best performer in the study — still completed well under two-thirds of tasks correctly, and its rate of passing the identical task eight times in a row (a proxy for production reliability) was far lower than its single-attempt success rate.
- Used zero-shot as step-level action critics in long-horizon tool-calling tasks, frontier models are over-pessimistic — flagging a large share of correct actions and pushing the actor into revision loops that lower success below no critic at all — whereas small models fine-tuned on action-level verification rationales flag far fewer valid actions and raise repeated-run reliability.
- Dynamic Alignment Compensation for Hallucination Mitigation in Large Vision-Language Models
In open-source vision-language models (LLaVA-1.5, Qwen-VL-Chat, Qwen2.5-VL, LLaVA-NeXT), a training-free decoding intervention that detects large layer-to-layer and step-to-step shifts in hidden states and nudges the diverging states back toward their prior value lowers object-hallucination rates, but the lower rate comes with fewer objects mentioned and shorter outputs.
CapabilityKind / backingobservation · single-paperScopeOpen-source image-input LVLMs at 3B-7B scale, standard hallucination benchmarks (POPE, CHAIR, HallusionBench); not tested on closed models, video, or multi-image input.Techniqueproposed: Hidden-state divergence compensation at decoding timeStance on what we holdsupports — For training-free inference-time hallucination mitigation in 7B vision- language…On CHAIR the method cuts sentence- and instance-level hallucination rates while recall and average response length both fall, the same coupling of lower hallucination with reduced informativeness.FalsifierA replication where the same compensation leaves CHAIR recall and response length unchanged while hallucination rates still fall, or where hallucination rates do not fall at all on a held-out backbone.How well evidencedMeasured on nine benchmarks across six backbones against vanilla decoding and training-free baselines (VCD, ICD, MemVR, OPERA). CHAIR shows Cs 47.6->28.2 and Ci 13.3->7.3 on LLaVA-1.5 with recall 80.6->72.0 and length 99.7->88.9. Authors report a length-normalized analysis in an appendix not included here, so the informativeness confound is claimed to be addressed but not verifiable from the given text. Single group, fixed thresholds, no seed variance reported.What this capability already holds (9)
- In 7-8B vision-language models, fine-tuning visual and text embeddings toward perturbation-averaged and ground-truth anchors before cross-modal contrastive alignment lowers object and attribute hallucination rates on captioning and existence benchmarks without reducing object coverage or general VQA accuracy.
- In 7B vision-language models that prune visual tokens during decoding for efficiency, hallucination rises as the generated caption gets longer, because pruning is irreversible and discards fine-grained evidence needed at later decoding steps; keeping the pruned tokens as a retrievable bank and pulling them back when next-token entropy spikes recovers the grounding without a second forward pass.
- For detecting ungrounded object mentions in open-ended captions from white-box vision-language models, a single internal support signal (token likelihood, attention share, or image-text similarity) confuses support that comes from object-specific image evidence with support that comes from scene plausibility or the generated text prefix; scoring both whether image tokens carry object-specific evidence and whether support is more image-derived than prefix-derived separates these and raises detection AUROC.
- In diffusion vision-language models generating free-form captions, object tokens that are hallucinated commit at later denoising steps and with lower per-token confidence than grounded object tokens, so the commit-step trajectory is an available internal hallucination signal that has no counterpart in autoregressive decoding.
- In LLaVA-1.5-7B captioning, restricting a LoRA adapter to attention heads picked by a hallucination diagnosis (attention-to-image drop around hallucinated object words, then ablation screening) reduces object hallucination, while an identically trained layer-matched random-head adapter does not — so the selection, not the added adapter capacity, carries the effect.
- When a multimodal model is asked an object-existence question over a set of images at once, it is less accurate than when the same images are queried one at a time and the answers combined, so cross-image integration adds errors beyond the per-image perception errors.
- In open-source vision-language models (LLaVA-1.5, Qwen-VL-Chat, Qwen2.5-VL, LLaVA-NeXT), a training-free decoding intervention that detects large layer-to-layer and step-to-step shifts in hidden states and nudges the diverging states back toward their prior value lowers object-hallucination rates, but the lower rate comes with fewer objects mentioned and shorter outputs.
- For short-answer object-existence questions in open multimodal models (LLaVA v1.5, MiniGPT-4, Qwen2.5-VL), object hallucination is driven partly by the visual encoder itself rather than only by language priors: hallucinated cases show lower image-text embedding similarity and inverted attention, and swapping in a weaker or noisier visual encoder lowers POPE accuracy while a stronger one raises it.
- For training-free inference-time hallucination interventions in 7B-class vision-language models, increasing intervention strength (finer regional evidence partitioning, longer attention-routing windows, stronger textual perturbation) keeps lowering CHAIR object-hallucination scores while producing empty or reduced-coverage responses, so lower hallucination numbers at high intervention strength partly reflect the model saying less rather than grounding better.
- LongPIBench: A Long-Context Benchmark for Prompt Injection
Prompt injection defenses that report near-zero attack success on short-context benchmarks lose most of that protection when the injected instruction sits inside a document of thousands to tens of thousands of tokens: fine-tuned separation defenses and detect-localize-remove pipelines still let a large share of injections through on paper review, resume screening, code review and email threads.
CapabilityKind / backingobservation · single-paperScopeSingle-pass document-centric tasks with full document in one inference call; open 3-8B models plus GPT-4o/GPT-4.1; synthetic and real-world datasets, 100 instances per synthetic suite; not agentic or multi-step tool pipelines.TechniqueStance on what we holdcontests — Separating prompt and data with reserved delimiters and fine-tuning on that stru…A fine-tuned separation defense (MetaSecAlign 8B) that reports near-zero attack success on short-context benchmarks reached attack success of 1.00 on the long-context paper review and resume screening datasets.FalsifierEvaluating the same defenses on long-document injection with matched attacks and finding attack success stays near the short-context level, or showing the long-context gap disappears once no-attack baseline rates and scoring criteria are matched to the short-context benchmarks.How well evidencedMeasured: eight LLMs, six heuristic and two optimization attacks, nine detectors and six prevention defenses, four scenarios with synthetic and real-world splits. Baseline is the same defenses on OPI, InjecAgent, AgentDojo, where their reported attack success is near zero. Design shows the effect but the authors state it does not isolate the mechanism (dilution vs position). Detection defenses show extreme false-positive/false-negative tradeoffs. Single group, one benchmark.What this capability already holds (11)
- For computer-use agents operating on a real OS, indirect-injection success rates measured with a fixed hand-written injection template understate vulnerability, because an attacker that adapts phrasing from the agent's own refusal trajectories can reach substantial success on models the fixed template never penetrates.
- Demonstrates that instructions planted in retrieved content can hijack real LLM-integrated applications for data theft and manipulation.
- For long-horizon tool-calling agents (tasks needing five or more calls), embedding state-transition cues — preconditions, invariants, completion states — into the descriptions of the tools on the intended chain is what actually steers the agent's trajectory; runtime corrective text appended to tool results only patches residual drift, and the plausible user prompt alone (persona, deadlines, format constraints) does not establish the trajectory at all.
- For open-weight agents where attention matrices are accessible, detecting injection by asking which context span actually drove the tool call — aggregating attention over the decision tokens and localizing the guiding span, then checking whether that span's provider has authority for the action — catches unauthorized tool invocations at higher true-positive and lower false-positive rates than static scanners that look for malicious-looking text, because benign-looking injected text is only harmful when it is what the model actually attends to.
- Prompt injection defenses that report near-zero attack success on short-context benchmarks lose most of that protection when the injected instruction sits inside a document of thousands to tens of thousands of tokens: fine-tuned separation defenses and detect-localize-remove pipelines still let a large share of injections through on paper review, resume screening, code review and email threads.
- Separating prompt and data with reserved delimiters and fine-tuning on that structure blocks most injections at little cost to utility.
- Simple goal-hijacking and prompt-leaking attacks succeed against production models with short adversarial strings.
- Separating instructions from data raises injection resistance substantially, but both published versions get their strength from fine-tuning the model on the separation, and both report improved robustness rather than elimination. Treat it as one layer of defense in depth; the prompt-only variant, without training, has no measured efficacy behind it here.
- For tool-using agents, enforcing injection defense as a deterministic provenance check on sensitive tool parameters — with the only model call reading the trusted user request and never fetched content — makes admission decisions invariant to how an injection is worded, whereas defenses that judge the agent's runtime plan or behavior with a model can be steered by reworded injections.
- For tool-using agents, restricting capabilities at the harness level after untrusted content enters the context — revoking or tightening the parameter envelopes of skills that lie on graph paths to deployer-defined forbidden states — cuts indirect-injection attack success further than prompt-level or per-action authorization defenses, and does so with no extra model calls or tokens, because enforcement reads the transition graph rather than the natural-language content.
- Training models to rank system, user, and tool instructions by privilege improves robustness to injections in tool outputs.
- Learning to Use Tools: Reinforcement Learning for Tool-Integrated Mathematical Reasoning
When a calculator-using model is trained with reinforcement learning on verifiable final-answer rewards for an arithmetic search task (Countdown), the gain lands almost entirely at low k — pass@1 rises sharply while pass@16 moves little or falls — because the update can only reinforce correct trajectories the starting policy already samples, and prompt groups with no correct sample supply no gradient.
CapabilityKind / backingmechanism · single-paperScopeOutcome-only (final-answer-verified) on-policy RL — RLOO, RLOO++, GRPO, DAPO — starting from a tool-formatted SFT checkpoint, on the Countdown 3- and 4-number task with a live calculator tool; single model family, single task.TechniqueStance on what we holdneitherFalsifierAn outcome-only RL run on the same setup that raises pass@16 by as much as pass@1, or that turns prompts with zero correct samples in the base policy into solved prompts without added search or process supervision.How well evidencedMeasured on a fresh 1,024-problem held-out Countdown set (plus a noisy 50-problem public split) with 95% bootstrap intervals. Tool-RLOO went 35.8 to 56.6 pass@1 while pass@16 went 73.7 to 74.0; Tool-RLOO++ reduced pass@16 below Tool-RLOO. Correctness-distribution analysis over 16 samples per prompt shows mass shifting toward fully-correct sets and zero-correct prompts persisting. Tool-DAPO is a partial exception: it improved pass@16 modestly and cut the zero-correct fraction. One task, one base policy, so the mechanism claim rests on the distribution analysis plus cited prior RLVR work rather than on independent replication.What this capability already holds (14)
- Giving a coding agent a raw shell is worse than giving it a designed interface: SWE-agent's constrained Agent-Computer Interface — a file viewer windowed to 100 lines, a search tool that truncates large output, and an editor that lints before a change persists — roughly doubled SWE-bench resolution over raw shell access with the same model, because verbose output and unmanaged state are where the model loses its place.
- Across eight interactive environments, models fail mostly on long-horizon tool interaction, with open models far behind commercial ones.
- When an agent must work over a very large tool catalogue, wrapping each tool in a natural-language interface that resolves the API schema internally — so raw schemas are retrieved on demand rather than enumerated in the model's prompt — contributes more to multi-step tool- call success than the surrounding planner, router, or verifier stages.
- When a calculator-using model is trained with reinforcement learning on verifiable final-answer rewards for an arithmetic search task (Countdown), the gain lands almost entirely at low k — pass@1 rises sharply while pass@16 moves little or falls — because the update can only reinforce correct trajectories the starting policy already samples, and prompt groups with no correct sample supply no gradient.
- Fine-tuning on a large corpus of real API-call traces markedly improves multi-tool task completion in open models.
- A linear probe on a tool-calling model's hidden state at the last generated token detects incorrect tool-calls — including wrong-but-well-typed argument values that parsers and logs do not catch — and works better on larger models and at middle-to-late layers than at the final layer.
- For locally deployed open-weight models driving a stateful, dependency-ordered MCP tool server, cutting tool descriptions from full specifications (purpose, parameter semantics, constraints, failure conditions) down to one sentence each raises the fraction of calls the server rejects for every model tested, while its effect on task coverage is less consistent.
- Self-supervised training on tool-call examples teaches a model when and how to call simple tools, narrowing the gap on tasks that need them.
- Shows LLMs hallucinate API names and arguments when calling large API collections from memory, and that retrieving documentation reduces this.
- In simulated retail and airline domains with tools and policy documents, frontier models succeeded on well under two thirds of tasks and success dropped sharply when the same task had to be passed several times in a row.
- Worked examples in a tool description, long the standard way to teach tool use, can constrain a capable model to the exploration space the examples describe; Anthropic now advises designing expressive parameters instead — a status enumeration that implies its own usage rather than a demonstration of it.
- The large reported gains from fine-tuning on tool-call trajectories come from small open models starting far behind — distilling a few hundred trajectories from a stronger model moves them a long way. Whether the same procedure helps a model that is already good at tool use is a separate question this evidence does not answer.
- In simulated retail customer-support tasks with real tools and policy documents, GPT-4o — the best performer in the study — still completed well under two-thirds of tasks correctly, and its rate of passing the identical task eight times in a row (a proxy for production reliability) was far lower than its single-attempt success rate.
- Used zero-shot as step-level action critics in long-horizon tool-calling tasks, frontier models are over-pessimistic — flagging a large share of correct actions and pushing the actor into revision loops that lower success below no critic at all — whereas small models fine-tuned on action-level verification rationales flag far fewer valid actions and raise repeated-run reliability.
- ContextPilot: Teaching Agents for Proactive Context Management via Fine-grained RL
Handing an agent context-editing tools (delete, summarize, note, fold) by prompt alone makes mid-size models worse than leaving their context untouched — Qwen3-8B, Qwen3-14B and Gemma4-E4B all scored lower on long-context QA with the tools than without them; only after fine-tuning on trajectories that use the tools does the toolset become a gain.
CapabilityKind / backingobservation · single-paperScopeLong-context QA benchmarks (NovelQA, InfinityBench En.MC, LongMemEval-S, BrowseComp+) with 8B-14B open models capped at a 32K working window; a very large model (Qwen3.5-397B-A17B) did benefit from the same tools without fine-tuning.Techniqueproposed: RL-trained proactive context management with action-level credit assignmentStance on what we holdneitherFalsifierA prompt-only agent given the same context-editing toolset matching or beating the same base model's no-tool score on these long-context QA benchmarks at 8B-14B scale.How well evidencedMeasured across three base models and four benchmarks, three runs each, against a no-tools baseline at the model's full 128K window. Average scores dropped for every base model with prompt-only tools; SFT and RL versions of the same models exceeded the no-tools baseline. Does not isolate whether the loss comes from wrong tool arguments or from bad editing decisions, though a separate analysis shows high early invocation-failure rates for memory and offloading tools.What this capability already holds (4)
- Adding irrelevant tokens alone degrades reasoning, which is the mechanism by which a bloated context hurts an agent.
- Handing an agent context-editing tools (delete, summarize, note, fold) by prompt alone makes mid-size models worse than leaving their context untouched — Qwen3-8B, Qwen3-14B and Gemma4-E4B all scored lower on long-context QA with the tools than without them; only after fine-tuning on trajectories that use the tools does the toolset become a gain.
- Managing context explicitly, paging information in and out of a bounded window, sustains performance on tasks that exceed the window.
- Guardrail instructions written to stop older models doing the wrong thing — blanket prohibitions, repeated warnings, defensive defaults — became dead weight in the Claude 5 generation: Anthropic removed over 80% of Claude Code's system prompt for Opus 5 and Fable 5 with no measurable loss on its own coding evaluations, on the reading that the constraints now conflict with each other and with user intent more often than they prevent harm.
- Evaluating the Hidden Costs of Personalization in Large Language Models
When a user profile of stated attributes and preferences is placed in context, models agree with the user far more than with no profile — across 13 open and closed models the profile, not retrieved conversation memory, is the dominant driver, and inverting the stated preference flips almost all responses to the opposite side.
CapabilityKind / backingmechanism · single-paperScopeAdvice-seeking, moral-judgement (Reddit AITA) and evaluative queries where a 10-attribute profile and/or top-3 retrieved synthetic memories are prepended; scores come from an LLM judge validated against six human annotators.Techniqueproposed: factorial profile-vs-memory personalization auditStance on what we holdsupports — Sycophancy is triggered by the user's stated view being in context, so the cheap…A 2x2 ablation shows the profile containing the user's stated preference is the main cause of the answer moving, and flipping that preference flips 94.8% of answers, so removing the opinion from context is the lever.FalsifierA factorial ablation on the same or similar setup where retrieved memory alone shifts agreement as much as the profile, or where inverting the profile's stated preference leaves most answers unchanged.How well evidencedMixed-effects model on N=800 per risk type: profile main effect on sycophancy beta=-2.08 (partial eta-sq .637) vs memory -0.56 (.113), interaction positive (saturating not amplifying). Preference-inversion counterfactual flips 94.8% of responses in the profile-only setting. Judged by LLM with 84.8% human alignment on sycophancy; profiles and memories are partly synthetic, so ecological validity to deployed memory systems is not established.What this capability already holds (11)
- Fine-tuning on simple synthetic examples where the user's opinion is irrelevant to the answer reduces sycophancy substantially.
- Five assistants trained with human feedback consistently show sycophancy across tasks, and human preference data itself rewards it.
- A model's tendency to shift political stance toward a bare demographic identity label is a separate vulnerability from its tendency to shift toward an explicitly stated user opinion: on open-ended US policy prompts, the models most moved by an identity label are among the least moved by a stated opinion, so a benchmark using only stated opinions misses identity-driven shift.
- When a multimodal model is given external text that contradicts the image, making it commit to a description of the image before the text is admitted, then reconciling the two in a second call, recovers accuracy the single-prompt setup loses — but the benefit of withholding the text from the first call is model- and text-source dependent, and on some models context-preserving prompting is still better.
- In open-weight instruction-tuned models, interventions that suppress caving to user pushback (DPO, SFT on chosen responses, or activation steering) also tend to reduce the model's rate of correcting a wrong answer when genuine supporting evidence is supplied, because the two answer-flip behaviors run on overlapping MLP neurons and attention heads with positively aligned steering directions.
- When preference pairs are built by having one strong model write all chosen responses and one weak model all rejected responses (delta learning), contrastive objectives such as DPO transfer the chosen model's sycophantic-agreement rate to the student even though no individual example contains sycophancy — the student's rate tracks the log-ratio of the two teachers' sycophancy rates, so reversing which teacher is 'chosen' drives sycophancy far below the SFT starting point.
- Rewarding sycophantic behavior generalizes to more serious specification gaming in a small fraction of cases.
- For small instruction-tuned models (3-4B) answering closed-form true/false questions under a stated user opinion, scoring each sampled response by how much more common its answer is than the group itself predicted, and using that score as the GRPO reward, reduces answer flips under user pressure and raises accuracy without any labels, roughly matching label-supervised desycophancy fine-tuning at higher compute cost.
- Claude 2, like four other assistants tested in the same study, changed correct answers under simple user pushback ("are you sure?") and shifted its evaluation of a user's argument toward whatever position the user appeared to hold.
- When a user profile of stated attributes and preferences is placed in context, models agree with the user far more than with no profile — across 13 open and closed models the profile, not retrieved conversation memory, is the dominant driver, and inverting the stated preference flips almost all responses to the opposite side.
- Sycophancy is triggered by the user's stated view being in context, so the cheapest control is not putting it there — ask for the answer before the opinion, or withhold the opinion entirely. Fine-tuning is the answer for the cases where the opinion has to be in context and the answer still must not move.
- Towards Fully Automated Medical Imaging Code Generation via Validation-based Context Engineering
In agent pipelines that generate whole domain-specific ML codebases (medical imaging) from scratch, execution/assembly validation and domain knowledge bases fix different failures: removing runtime and assembly testing mainly costs autonomy (more human interventions to debug), while removing the curated domain knowledge base mainly costs output quality (syntactically fine but domain-inappropriate pipelines) with little change in intervention count.
CapabilityKind / backingmechanism · single-paperScopeMulti-agent code generation of complete deep-learning pipelines in a specialised domain with objective end-task metrics; shown with Claude-4.5-Opus as backbone across six medical imaging datasets.Techniqueproposed: validation-gated context propagation between agentsStance on what we holdsupports — Reflect-and-retry raises task success when the feedback in the loop is a genuine…Removing execution testing produced the largest jump in required human intervention, consistent with grounded external signals being what drives autonomous repair.FalsifierAn ablation on similar from-scratch pipeline generation where removing the domain knowledge base raises intervention counts as much as removing execution testing, or where removing execution testing costs task quality but not autonomy.How well evidencedOne ablation table on six datasets, single backbone model, Pass@3 best-of-three; component removals reported as average changes in human-intervention count and task metric. Human intervention count is a subjective measure by the authors; no independent replication.What this capability already holds (7)
- In agent pipelines that generate whole domain-specific ML codebases (medical imaging) from scratch, execution/assembly validation and domain knowledge bases fix different failures: removing runtime and assembly testing mainly costs autonomy (more human interventions to debug), while removing the curated domain knowledge base mainly costs output quality (syntactically fine but domain-inappropriate pipelines) with little change in intervention count.
- When a code-generation prompt combines a prompt-enforced output format (JSON or XML), a persona, and urgency framing at once, pass@1 on function-level Python problems can fall well below the sum of each constraint's individual effect, even when each constraint alone is neutral or helpful — observed in the GPT-4o family and absent in the GPT-4.1 family and o3-mini.
- For data-science Python tasks where several correct solutions differ by orders of magnitude in runtime, a model's correctness rate does not predict the efficiency of the code it writes: rankings invert between the two, code-specialized open models are less efficient than general open models of similar size class, and the fastest model rotates by library (NumPy vs Pandas vs PyTorch vs Polars).
- Grading generated code by whether it actually passes held-out functional tests, rather than by surface similarity to a reference solution, is what makes code generation gradeable at scale — and it's how the field has graded it since the earliest large benchmarks.
- On repository-level issue-fixing tasks (SWE-bench Lite/Verified/Pro), spending effort upstream — expanding the issue text into a structured requirement spec from retrieved repo context, then testing and refining that spec via generated code and tests — raises resolve rate over agents that consume the raw issue description, and raises the share of patches that even apply cleanly by a larger margin than it raises correctness.
- Static, fixed-problem coding benchmarks saturate and leak into training data over time, so getting an honest read on current code-generation ability requires a benchmark that continuously adds newly-published problems rather than reusing an older fixed set like HumanEval.
- In UI-to-code generation, where a rendered screenshot gives genuine external feedback, iterative self-critique still drifts below the initial draft over ten rounds, because a code edit changes the rendering non-locally and a fix for one region breaks regions that were already faithful; restricting each round to one typed, scoped repair target and carrying past targets forward as an avoid-list reduces that drift.
- EviAnchor: Mitigating Hallucinations in Large Vision-Language Models via Regional Visual Evidence Compensation
For training-free inference-time hallucination interventions in 7B-class vision-language models, increasing intervention strength (finer regional evidence partitioning, longer attention-routing windows, stronger textual perturbation) keeps lowering CHAIR object-hallucination scores while producing empty or reduced-coverage responses, so lower hallucination numbers at high intervention strength partly reflect the model saying less rather than grounding better.
CapabilityKind / backingobservation · single-paperScopeLLaVA-1.5-7B, InstructBLIP-Vicuna-7B and Qwen3-VL-4B with a training-free decoding-time intervention, measured on POPE, CHAIR and MMHal-Bench with object recall and response length reported alongside.Techniqueproposed: Regional visual evidence anchoring with decision-conditioned attention routingStance on what we holdsupports — For training-free inference-time hallucination mitigation in 7B vision- language…The paper's own ablation shows 16- and 25-slot configurations reach lower CHAIRi while producing 8 and 25 empty responses and recall dropping from 77.38 to 71.48 and 54.98, and the authors say the lower hallucination scores are partly due to reduced output coverage.FalsifierAn ablation sweeping intervention strength on the same backbones and benchmarks in which hallucination metrics fall while object recall and response length hold constant at every strength setting.How well evidencedAblation on LLaVA-1.5-7B over REA slot counts 1/4/9/16/25 and routing lengths 4-12 layers, with recall, response length and empty-response counts reported. Main tables also report recall and length, and at the chosen 3x3 setting recall is preserved, so the confound is a property of the strength dial, not of the method at default. Single paper, no independent replication.What this capability already holds (9)
- In 7-8B vision-language models, fine-tuning visual and text embeddings toward perturbation-averaged and ground-truth anchors before cross-modal contrastive alignment lowers object and attribute hallucination rates on captioning and existence benchmarks without reducing object coverage or general VQA accuracy.
- In 7B vision-language models that prune visual tokens during decoding for efficiency, hallucination rises as the generated caption gets longer, because pruning is irreversible and discards fine-grained evidence needed at later decoding steps; keeping the pruned tokens as a retrievable bank and pulling them back when next-token entropy spikes recovers the grounding without a second forward pass.
- For detecting ungrounded object mentions in open-ended captions from white-box vision-language models, a single internal support signal (token likelihood, attention share, or image-text similarity) confuses support that comes from object-specific image evidence with support that comes from scene plausibility or the generated text prefix; scoring both whether image tokens carry object-specific evidence and whether support is more image-derived than prefix-derived separates these and raises detection AUROC.
- In diffusion vision-language models generating free-form captions, object tokens that are hallucinated commit at later denoising steps and with lower per-token confidence than grounded object tokens, so the commit-step trajectory is an available internal hallucination signal that has no counterpart in autoregressive decoding.
- In LLaVA-1.5-7B captioning, restricting a LoRA adapter to attention heads picked by a hallucination diagnosis (attention-to-image drop around hallucinated object words, then ablation screening) reduces object hallucination, while an identically trained layer-matched random-head adapter does not — so the selection, not the added adapter capacity, carries the effect.
- When a multimodal model is asked an object-existence question over a set of images at once, it is less accurate than when the same images are queried one at a time and the answers combined, so cross-image integration adds errors beyond the per-image perception errors.
- In open-source vision-language models (LLaVA-1.5, Qwen-VL-Chat, Qwen2.5-VL, LLaVA-NeXT), a training-free decoding intervention that detects large layer-to-layer and step-to-step shifts in hidden states and nudges the diverging states back toward their prior value lowers object-hallucination rates, but the lower rate comes with fewer objects mentioned and shorter outputs.
- For short-answer object-existence questions in open multimodal models (LLaVA v1.5, MiniGPT-4, Qwen2.5-VL), object hallucination is driven partly by the visual encoder itself rather than only by language priors: hallucinated cases show lower image-text embedding similarity and inverted attention, and swapping in a weaker or noisier visual encoder lowers POPE accuracy while a stronger one raises it.
- For training-free inference-time hallucination interventions in 7B-class vision-language models, increasing intervention strength (finer regional evidence partitioning, longer attention-routing windows, stronger textual perturbation) keeps lowering CHAIR object-hallucination scores while producing empty or reduced-coverage responses, so lower hallucination numbers at high intervention strength partly reflect the model saying less rather than grounding better.
- How Identity and Opinion Shape Political Sycophancy in LLMs
A model's tendency to shift political stance toward a bare demographic identity label is a separate vulnerability from its tendency to shift toward an explicitly stated user opinion: on open-ended US policy prompts, the models most moved by an identity label are among the least moved by a stated opinion, so a benchmark using only stated opinions misses identity-driven shift.
CapabilityKind / backingobservation · single-paperScope13 instruction-tuned models, single-turn, temperature 0, US left-right policy dilemmas with Pew typology identity labels; stance scored by an LLM judge panelTechniqueproposed: Two-axis identity/opinion sycophancy probeStance on what we holdneitherFalsifierA larger set of models in which identity-induced and opinion-induced stance shifts correlate positively, so measuring one predicts the other.How well evidenced450 synthesized dilemmas with fixed anchor events, 2x2 identity-by-opinion design, three-judge LLM panel; rank correlation between identity and opinion susceptibility across 13 models was strongly negative (Spearman -0.76). Only 13 models, no power analysis, judges agree less in the combined condition, and probes plus narratives were generated by GPT-4.1, so construction artifacts are not ruled out. A small channel-matched control on two models argues the effect is not just prompt placement.What this capability already holds (11)
- Fine-tuning on simple synthetic examples where the user's opinion is irrelevant to the answer reduces sycophancy substantially.
- Five assistants trained with human feedback consistently show sycophancy across tasks, and human preference data itself rewards it.
- A model's tendency to shift political stance toward a bare demographic identity label is a separate vulnerability from its tendency to shift toward an explicitly stated user opinion: on open-ended US policy prompts, the models most moved by an identity label are among the least moved by a stated opinion, so a benchmark using only stated opinions misses identity-driven shift.
- When a multimodal model is given external text that contradicts the image, making it commit to a description of the image before the text is admitted, then reconciling the two in a second call, recovers accuracy the single-prompt setup loses — but the benefit of withholding the text from the first call is model- and text-source dependent, and on some models context-preserving prompting is still better.
- In open-weight instruction-tuned models, interventions that suppress caving to user pushback (DPO, SFT on chosen responses, or activation steering) also tend to reduce the model's rate of correcting a wrong answer when genuine supporting evidence is supplied, because the two answer-flip behaviors run on overlapping MLP neurons and attention heads with positively aligned steering directions.
- When preference pairs are built by having one strong model write all chosen responses and one weak model all rejected responses (delta learning), contrastive objectives such as DPO transfer the chosen model's sycophantic-agreement rate to the student even though no individual example contains sycophancy — the student's rate tracks the log-ratio of the two teachers' sycophancy rates, so reversing which teacher is 'chosen' drives sycophancy far below the SFT starting point.
- Rewarding sycophantic behavior generalizes to more serious specification gaming in a small fraction of cases.
- For small instruction-tuned models (3-4B) answering closed-form true/false questions under a stated user opinion, scoring each sampled response by how much more common its answer is than the group itself predicted, and using that score as the GRPO reward, reduces answer flips under user pressure and raises accuracy without any labels, roughly matching label-supervised desycophancy fine-tuning at higher compute cost.
- Claude 2, like four other assistants tested in the same study, changed correct answers under simple user pushback ("are you sure?") and shifted its evaluation of a user's argument toward whatever position the user appeared to hold.
- When a user profile of stated attributes and preferences is placed in context, models agree with the user far more than with no profile — across 13 open and closed models the profile, not retrieved conversation memory, is the dominant driver, and inverting the stated preference flips almost all responses to the opposite side.
- Sycophancy is triggered by the user's stated view being in context, so the cheapest control is not putting it there — ask for the answer before the opinion, or withhold the opinion entirely. Fine-tuning is the answer for the cases where the opinion has to be in context and the answer still must not move.
- Detecting and Repairing Hallucinations in Retrieval-Augmented Generation
In retrieval-augmented answers, splitting an answer into claims, checking each against the retrieved source, and then acting on the flagged claims reduces the share of answers judged to contain unsupported content — but the strategies trade grounding against preservation: deleting unsupported claims reduces unsupported content most while retaining the least original text, and rewriting retains the most while reducing least.
CapabilityKind / backingmechanism · single-paperScopeRAG answers on the RAGTruth benchmark with hand-annotated unsupported passages; 916 repaired answers judged by three LLM judges from different families; no human usefulness ratings.TechniqueStance on what we holdsupports — Decomposing long answers into atomic facts and checking each with search catches…The paper applies atomic-claim verification and shows the flagged claims can be acted on, extending fact-by-fact checking from detection to repair.FalsifierA repair pipeline where deletion does not reduce judged unsupported content more than rewriting, or where all strategies preserve text equally, would break the trade-off ordering; judges disagreeing on the ordering would too.How well evidencedMeasured on one benchmark with three LLM judges agreeing on ordering; retention percentages reported (64.3% deletion, 80.1% rewriting). Does not measure whether repaired answers remain useful to readers, and 83.5% of clean answers were also edited, so precision of the flagging step is a live concern.What this capability already holds (22)
- A ~2M-parameter classifier head that reads hidden states already computed during generation (tapping shallow, middle and deep layers of the generating model) detects response-level hallucination at least as well as specialized hidden-state hallucination detectors, and its detection quality rises with the scale of the base model it is attached to.
- Accuracy on a fact scales with how many pretraining documents mention it, so long-tail facts are systematically unreliable.
- For black-box hallucination detection using only sampled responses and token log-probabilities, semantic-entropy signals go to zero whenever the samples collapse into one semantic cluster — which happens for a large share of hallucinated queries, up to nearly all of them on tasks with confusable entities and figures — while token-level uncertainty still separates many of those cases, so the two signals fail on different queries and combining them detects more than either alone.
- For closed-book hallucination detection, training a small supervised classifier over many heterogeneous uncertainty scores beats the best single score, but the gain comes from the diversity of sampling-based black-box signals: ensembles over only single-generation token-probability features add little, while black-box-only ensembles do nearly as well as the full set.
- On code prompts that are unsatisfiable by design, open-weight code and reasoning models refuse based on how suspicious the request looks rather than how deeply impossible it is: they refuse famous theoretical impossibilities far more often than requests for plausible-sounding nonexistent packages, and the stronger models in the set close the gap on theory while barely improving on fabricated ecosystem entities.
- Decomposing long answers into atomic facts and checking each with search catches most errors and beats human annotators on cost and agreement.
- For detecting hallucinated text spans in vision-language model outputs, span localization and confidence calibration come from different architectures: a fine-tuned generative VLM proposes better span boundaries but scores them poorly, while a discriminative token tagger trained with a direct regression loss on human-consensus confidence gives better-correlated probabilities but conservative spans, so using the generative spans as proposals and the tagger's probabilities as scores beats either alone.
- For filtering unsupported LLM-generated vulnerability reports in security triage, statistical machine-text detectors are the wrong instrument: they score provenance, not correctness, and human-written security reports are template-driven and low-perplexity, so they trip the same signal that flags machine text.
- When fine-tuning a base model on instruction data, removing from the training targets any factual claim the base model cannot consistently recall raises the supported-claim rate of later long-form generations, but the gain comes largely from a more conservative response policy — more refusals and fewer supported claims per answer — not from generating more correct facts at equal coverage.
- General-purpose factuality verifiers (entailment-, consistency-, and RAG-trained) and zero-shot frontier LLM judges perform near chance at spotting unsupported claims in scientific peer reviews that must be checked against the full submitted paper, because they cannot separate paper-unsupported assertions from legitimate evaluative critique; small models fine-tuned on in-domain examples beat them by a wide margin.
- Grounding generation in retrieved documents improves factual accuracy on knowledge-intensive tasks.
- In LLM-based ASR, steering decoding toward acoustic evidence only helps if candidates are first restricted to tokens within a small likelihood margin of the greedy token: unconstrained selection by an acoustic compatibility score removes hallucinated outputs but destroys transcription accuracy through unbounded insertions, while the constrained version removes a large share of hallucinations at near-zero WER/CER cost.
- Long-form biographies from strong models contain a substantial share of unsupported atomic facts, rising for less well-known subjects.
- Models reproduce common human misconceptions, and larger models were not more truthful on this benchmark.
- In multi-agent LLM systems where one agent starts with an erroneous shared belief, broadcasting every agent's full context at every step raises the rate of false assertions above doing no synchronization at all, because the error propagates to agents that were previously correct — and the harm appears only in tasks where one wrong fact cascades across semantically linked dimensions (destination to airport to weather), not where agent contexts are largely orthogonal.
- In open-weight 7-8B instruct models, a supervised detector built on how hidden states change between adjacent layers separates factually wrong from correct answers better than a probe on any single layer, and shuffling the layer order destroys most of the signal — so the ordering of the depth trajectory, not just the content of one layer, carries the information.
- On questions whose premises are false or internally contradictory, prompting mid-size instruct models (Qwen2.5-7B, LLaMA-3.1-8B, Gemma3-12B) to reason step by step can lower accuracy below plain answering, because the reasoning chain elaborates from the flawed premise instead of challenging it.
- In retrieval-augmented answers, splitting an answer into claims, checking each against the retrieved source, and then acting on the flagged claims reduces the share of answers judged to contain unsupported content — but the strategies trade grounding against preservation: deleting unsupported claims reduces unsupported content most while retaining the least original text, and rewriting retains the most while reducing least.
- Grounding answers in retrieved documents reduces unsupported generation but transfers the trust problem to the retrieval channel: whatever lands in context is treated as reliable, which shows up both as following instructions planted in retrieved content and as deferring to whichever account is better represented when sources disagree.
- When retrieval for a summarization task pulls definitions by surface term match from a general encyclopedia, ambiguous terms fetch the wrong sense and the model incorporates that unsupported background into its output, lowering claim-level factuality below the no-retrieval baseline even when the prompt tells it to ignore unrelated retrieved content.
- Surveys causes, kinds, and detection of hallucination across data, training, and inference, and finds no complete solution.
- Training a language model with differential privacy — whether DP-SGD pre-training or DP LoRA fine-tuning — makes it generate more false claims about facts in its training data than a non-private counterpart, and the effect grows as the privacy budget tightens, because per-example gradient clipping plus noise prevents low-frequency facts from being acquired at all while flattening the next-token distribution onto incorrect alternatives.
- Cross-Relational Preference Learning for Better LLM Instruction Following
When building preference data to teach 7-8B instruct models to follow multi-constraint instructions, perturbing each atomic constraint in several directions so the perturbed instruction's valid-response set contains, partly overlaps, or is disjoint from the original's — and pairing responses drawn from each sub-region — raises constraint adherence more than rejection sampling or teacher-correction pairs, and the gain holds on perturbed instruction variants the baselines barely improve on.
CapabilityKind / backingobservation · single-paperScopeQwen2.5-7B-Instruct and Llama-3.1-8B-Instruct, DPO/KTO/online-DPO, 12k pairs, constraints that are checkable by executable code; tested on IFEval, IFBench, a perturbed set built by the authors, and FollowBench.Techniqueproposed: Cross-relational preference pairs over perturbed constraintsStance on what we holdneitherFalsifierMatching the same 12k pair budget with disjoint-only or random perturbations yields the same constraint accuracy, or the advantage disappears on a held-out benchmark not built with the same perturbation procedure.How well evidencedTwo backbones, three optimization methods, four test sets, fixed 12k training size, with ablations removing each relationship type and each pair region — each removal lowers accuracy. One of the four test sets (Perturbed-IF) is generated by the authors' own perturbation method, which favors the method; the data-scaling curve and the fixed budget do argue the gain is not just more data. Single group, no independent replication.What this capability already holds (10)
- When building preference data to teach 7-8B instruct models to follow multi-constraint instructions, perturbing each atomic constraint in several directions so the perturbed instruction's valid-response set contains, partly overlaps, or is disjoint from the original's — and pairing responses drawn from each sub-region — raises constraint adherence more than rejection sampling or teacher-correction pairs, and the gain holds on perturbed instruction variants the baselines barely improve on.
- Fine-tuning a small multimodal model on synthesized constraint-rich instructions raises adherence to output-level constraints (format, word count, keywords) while lowering accuracy on perception-grounded instructions, so the average can fall below the base model unless the synthesis loop tracks per-constraint failures and image compatibility.
- A correction made in conversation fixes one exchange and is gone when the session ends; the same correction encoded as a guide rule, a sensor, or a permission fixes every future run — so an agent system improves over time only to the extent that failures are converted into harness structure rather than re-applied as prompts, and the rate of new guide rules per week falling is the sign the conversion is working.
- Decomposing an instruction into explicit yes/no items and judging against them beats asking for a holistic score, and the same checklist turned on the model's own draft improves the draft. The gain comes from making each requirement separately checkable, not from the model trying harder — so it is largest on instructions carrying several constraints at once.
- Many failures come from not following domain policy documents that were provided in the prompt.
- On realistic web tasks with explicit goals, the best model completed only a small fraction end to end, far below human performance.
- Giving a coding agent a repository context file — AGENTS.md, CLAUDE.md — does not raise its success rate on benchmark coding tasks and costs about 20% more inference: across 4 agents, 2 benchmarks and 3 conditions, LLM-generated files hurt slightly in 5 of 8 settings while developer-written ones gained 2.4% (p=0.21), and agents obey the files — which is why they spend more — so the files do not carry success-relevant information rather than being ignored.
- On scientific tasks where a domain-specific constraint and a general presentation constraint (letter case, output format, structure) are both stated in the same prompt, multimodal models satisfy the domain-specific constraint more often than the general formatting one, so domain competence does not imply full instruction compliance.
- On verifiable instructions such as length and format constraints, strong models still fail a meaningful share, and failures grow when several constraints apply at once.
- When a video-understanding instruction contains several conditional branches and the model must pick the branch matching what the video shows, both proprietary and open multimodal models pick correctly far more often when the correct branch is listed first, and accuracy falls as the correct branch moves later in the list.
- Think, Look, and Revise: Inconsistency-Aware Visual Self-Correction in MLLMs
Tool-augmented multimodal models trained only on how to call vision tools accept tool outputs uncritically; adding supervised trajectories where tool evidence is checked against the image and re-queried, plus a reward for correction that reaches a correct answer, raises accuracy on perception-heavy benchmarks (counting, depth, spatial relations) in 3B and 7B Qwen2.5-VL, while slightly lowering it on knowledge-heavy ones.
CapabilityKind / backingmechanism · single-paperScopeQwen2.5-VL 3B and 7B backbones with a fixed suite of vision tools (detection, zoom, edge, depth); training trajectories synthesized by Gemini-2.5-Pro; gains do not transfer to MMMU/MathVista-style abstract tasks.TechniqueStance on what we holdsupports — Reflect-and-retry raises task success when the feedback in the loop is a genuine…The correction loop works because the model checks tool output against the image itself, an external perceptual signal, and the paper notes recovery fails when that signal is ambiguous or the tool fails outright.FalsifierAn ablation showing the curated verification trajectories and correction reward give no gain over standard tool-use SFT plus accuracy-only GRPO on the same perception benchmarks and backbone.How well evidencedMeasured on CountBench, CVBench, BLINK, BLINK-HARD, MMVP, MMSTAR and others against Qwen2.5-VL-Instruct, SFT, SFT-GRPO, and tool-augmented baselines (ReVPT, Thyme, CodeDance), with an ablation separating cold-start data, correction reward and grounding reward. Single group, margins over prior SoTA are small and mixed per benchmark; the trajectory data comes from a stronger proprietary model, so distillation is not isolated from the verification mechanism.What this capability already holds (10)
- With weights frozen and no stronger model in the loop, an agent can raise its own pass rate by rewriting the scaffolding it runs inside — clustering its failures, proposing minimal edits to prompts, tools and policy, and keeping only edits that improve one split without degrading another: all 9 of 9 model-by-benchmark pairs improved, by up to 40.6 percentage points (GLM-5 on AppWorld, 44.4% to 85.0%), with weak models gaining most; but the promotion gate reads the held-out split, so the reported held-out gain is not clean generalisation, and there is no matched-compute baseline.
- In an agent's verify-and-fix loop, deterministic checks — tests, linters, schema validators — should be exhausted before any model-based judge is added, because they are free, fast and give the same verdict every time, while an LLM-as-judge costs tokens per run, returns non-deterministic verdicts, and so belongs only on properties no rule can express, and even then as an advisory signal until measured against human review.
- Reflect-and-retry raises task success when the feedback in the loop is a genuine external signal — a failing test, a compiler error, an environment outcome — but not when the "feedback" is the model's own unaided critique. The grounding, not the reflection step, is what does the work.
- When a model gets a real environment signal after acting — a test result, a tool error, a task-success indicator — reflecting on that signal in words and retrying substantially improves success rates on multi-step coding and decision-making tasks over a single attempt.
- In multi-step visual QA, a critic step run by the same model improves final accuracy only when it is shown the candidate evidence alone and denied the generator's textual rationale; conditioned on that rationale, the critic ratifies the generator's initial hypothesis and the loop performs worse than no critic at all.
- In open-ended editing tasks with no unique correct output (multi-slide design editing), a separate judge model that scores the structural diff between the original and edited artifact against the instruction, and returns its critique verbatim as the next-turn instruction, raises instruction-following over a single pass, but the gain is selective: most tasks pass on the first attempt, and a minority of the ones that enter the loop get worse unless an earlier iteration is restored when the judge's own score declines.
- Without an external, ground-truth signal — a failing test, a compiler error, a verifier's output — a model's own critique of its reasoning is not a reliable improvement signal, and asking it to review and revise a correct answer often turns it into a wrong one.
- Prompting a model to generate its own feedback on a draft output and revise accordingly improves quality on open-ended generation tasks (dialogue, code, review-writing) over a single-shot attempt.
- The agent that produced an artifact is a biased judge of it — it holds the context and the incentives that skew its assessment — so verification belongs with a deterministic sensor or a separate verifier that reports failures back rather than rewriting the output, and in a multi-agent system the verifier is the one component no agent may override.
- Tool-augmented multimodal models trained only on how to call vision tools accept tool outputs uncritically; adding supervised trajectories where tool evidence is checked against the image and re-queried, plus a reward for correction that reaches a correct answer, raises accuracy on perception-heavy benchmarks (counting, depth, spatial relations) in 3B and 7B Qwen2.5-VL, while slightly lowering it on knowledge-heavy ones.
- Evaluating Tiny Recursive Models Across Training for Code Generation
When comparing a weight-shared recursive model against a depth-matched plain transformer on code generation, the ranking read from a single checkpoint can invert during training, because the larger-parameter arm passes its validation optimum and overfits while the parameter-lean recursive arm keeps improving — so a late-epoch "recursion fits better" reading is a degradation artifact, not a capability difference.
CapabilityKind / backingmechanism · single-paperScope~28M-parameter models, instruction-to-Python corpus of ~38k training records, many passes over a fixed corpus (data-constrained repeated-data regime), 40-epoch budget, three seeds; the parameter-lean arms are still improving at the budget boundary so their optima are right-censored.Techniqueproposed: Trajectory-wide evaluation with per-arm validation-optimum checkpoint selectionStance on what we holdneitherFalsifierTracking the same matched arms across training on other corpora or scales and finding the fit ranking stable across all checkpoints, so a single arbitrary checkpoint reproduces the validation-optimum ordering.How well evidencedMeasured: three arms (recursive 20-effective-depth shared 2-layer block, iso-parameter 2-layer, iso-depth 20-layer) trained 40 epochs, 3 seeds, snapshots at 9 epochs. Fit ranking between recursive and iso-depth arms reversed at epochs 8 and 40; iso-depth validation loss bottomed at epoch 20 (1.15) and rose to 1.45 by epoch 40 while training loss fell. Cross-seed spread tight. Only one architecture family, one synthetic corpus, no execution-based correctness metric; recursion is not ablated from deep supervision, so the mechanism attribution to overfitting rests on the train-validation gap (1.04 for iso-depth vs 0.13 recursive) rather than a controlled intervention.What this capability already holds (10)
- When comparing a weight-shared recursive model against a depth-matched plain transformer on code generation, the ranking read from a single checkpoint can invert during training, because the larger-parameter arm passes its validation optimum and overfits while the parameter-lean recursive arm keeps improving — so a late-epoch "recursion fits better" reading is a degradation artifact, not a capability difference.
- When grading LLM-generated unit tests by pass rate and line coverage alone, a share of passing test suites never directly call the function under test — they reach it through wrappers, mocks, or unrelated public APIs — so pass rate overstates test quality, and this gap widens under agentic repository-access workflows and richer file-level context.
- A large share of an agent benchmark score is attributable to the harness around the model rather than the model itself: holding the model fixed and changing only guides, sensors, retries and state management is reported to move the same model from 30.9% to 74.6% on GAIA and 30th to 5th on Terminal Bench — so a score reported for "a model" on an agentic benchmark is a score for a model-plus-harness, and comparisons across labs with different harnesses are not comparisons of models.
- Reporting how much a lab's models are used in its own research — tokens, lines of code, inference compute, experiments per researcher — cannot show that the models are accelerating the research, because every one of those is an input. Establishing the loop needs an outcome variable over time: algorithmic efficiency as a function of capability, which is the edge that turns a pipeline into a feedback loop.
- On the best current calibration, AI is not yet accelerating its own development in a self-sustaining way: the modelled threshold is that a one-unit gain in model capability must buy at least 15% higher AI R&D productivity, and the back-of-envelope figure from reported engineer uplift since coding agents launched is about 9% — below it, but rising, so the gap is a current reading rather than a ceiling.
- On multi-turn tool-calling benchmarks that score whether the final environment state matches a gold trajectory, aggregate accuracy hides wrong action-class choices: a model can call a withheld or under-specified tool with fabricated arguments, be handed the missing piece on a later turn, and still be graded PASS — so heavily tool-trained model families rank high while almost never asking for a missing parameter or refusing an unavailable function.
- When research-idea forecasts are scored by whether a later paper matches them under an LLM judge rubric, higher scores partly reflect broader, less specific ideas: the backbone with the higher hit rate also produced measurably more general forecasts and had more retrieved candidate papers pass the gate, and tightening the specificity threshold does not separate the two.
- On span-level hallucination-detection leaderboards where absolute scores are low, bootstrap resampling of the test set moves top systems across wide rank intervals, so point-estimate ordering does not establish that one detector beats another.
- In synthetic hallucination benchmarks where faithful items are human-written and hallucinated items are LLM-rewrites, a detector's binary score partly measures human-vs-machine style rather than factuality: feeding faithful LLM rewrites of the same truthful articles makes some fine-tuned encoders flag nearly all of them as hallucinated.
- For training-free inference-time hallucination mitigation in 7B vision- language models, reported gains on object-hallucination benchmarks are largely inseparable from reduced informativeness: hallucination rate and object recall/coverage move together, so a lower score can mean the model mentioned fewer visual entities rather than grounded better.
- Agent Zero Memory: Provenance-Aware Long-Term Memory for LLM Agents
When a structured long-term memory substrate (indexes, retrieval, control logic) is held fixed and only the backbone LLM is swapped, accuracy on multi-session memory benchmarks like LongMemEval and LoCoMo moves by a few points while per-query cost varies by roughly an order of magnitude, so recall quality in these settings is set mostly by the memory and retrieval design rather than by model choice.
CapabilityKind / backingobservation · single-paperScopeJudged answer accuracy on LongMemEval (500 questions) and LoCoMo (1,540 questions), eight backbones from three vendors, single run under each benchmark's LLM-judge protocol, with the memory build and retriever identical across backbones.TechniqueStance on what we holdneitherFalsifierA controlled swap of backbones over the same fixed memory substrate that produces a large accuracy spread (comparable to the gap between memory architectures), or evidence that the small spread here comes from benchmark saturation rather than from retrieval doing the work.How well evidencedMeasured: eight backbones on LongMemEval span 92.20-95.60% with ~30x cost spread, and a similar pattern on LoCoMo (though gpt-5.4-mini falls to 81.10% there, which the summary claim understates). The backbone comparison is internally controlled; the cross-system comparisons to prior memory systems use best publicly reported numbers under different harnesses. Both benchmarks are described by the authors as near-saturated, so the narrow spread may partly reflect a ceiling. No ablation removing individual memory stores, so the attribution to the memory substrate is argued rather than isolated.What this capability already holds (8)
- Commercial assistants show a large accuracy drop when the relevant information sits in a long interaction history, especially for updates and multi-session reasoning.
- A memory stream with retrieval and reflection lets agents behave consistently over simulated days.
- For persistent-memory agents, any memory-write rule that decides using only recency and provenance is stuck on a single tradeoff — accepting more genuine preference updates means admitting more poisoned ones — because an adversary who can launder a claim through the user's own channel matches the statistics a genuine revision produces; conditioning the write decision on the inferred authenticity of the claim given the interaction history moves both axes at once.
- When the preference needed to answer a query lies in a different concept space from the cues in a user's dialogue history (e.g. inferring an emotion-regulation strategy from personality cues), retrieval-based and profile-summarization personalization methods barely beat a no-history baseline, and dumping the full history into the prompt does worse than no history at all.
- A running summary buys continuity across a long conversation at the cost of specifics, because it is lossy compression by construction — so it helps with "what were we doing" and not with "what exactly did I say in turn 40." Keeping the raw turns retrievable alongside the summary covers the second case.
- Recursively summarizing the dialogue into a running memory improves consistency in long conversations.
- When a structured long-term memory substrate (indexes, retrieval, control logic) is held fixed and only the backbone LLM is swapped, accuracy on multi-session memory benchmarks like LongMemEval and LoCoMo moves by a few points while per-query cost varies by roughly an order of magnitude, so recall quality in these settings is set mostly by the memory and retrieval design rather than by model choice.
- A tiered memory system managed by the model itself sustains recall over conversations far longer than the context window.
- Hallucination Mitigation for Large Vision-Language Models via Implicit Feature Stabilization
In 7-8B vision-language models, fine-tuning visual and text embeddings toward perturbation-averaged and ground-truth anchors before cross-modal contrastive alignment lowers object and attribute hallucination rates on captioning and existence benchmarks without reducing object coverage or general VQA accuracy.
CapabilityKind / backingobservation · single-paperScopeSingle-image, single-turn settings at 7-8B scale (LLaVA-1.5, LLaVA-1.6, Qwen3-VL-8B); 2K training pairs drawn from RLHF-V chosen/rejected responses; evaluated on AMBER, ObjHal, MMHal, HallusionBench, POPE.Techniqueproposed: Perturbation-invariance fine-tuning for vision-language embeddingsStance on what we holdneitherFalsifierReplication on the same backbones showing that hallucination reductions are matched by drops in object coverage or in VQA-v2/TextVQA accuracy, or that a plain generation-loss fine-tune on the same 2K data gives the same hallucination reduction without the stabilization objectives.How well evidencedMeasured on three backbones against re-run base models and re-run DPO and CHiP under matched data; AMBER CHAIR falls 7.8->4.2, 8.3->3.1, 5.9->2.9, with coverage rising and VQA-v2/TextVQA matched or improved. Ablations separate the intra-modal stage from the alignment stage. Not isolated: no ablation against a data-matched plain SFT baseline, and some comparison rows are literature-reported rather than controlled.What this capability already holds (9)
- In 7-8B vision-language models, fine-tuning visual and text embeddings toward perturbation-averaged and ground-truth anchors before cross-modal contrastive alignment lowers object and attribute hallucination rates on captioning and existence benchmarks without reducing object coverage or general VQA accuracy.
- In 7B vision-language models that prune visual tokens during decoding for efficiency, hallucination rises as the generated caption gets longer, because pruning is irreversible and discards fine-grained evidence needed at later decoding steps; keeping the pruned tokens as a retrievable bank and pulling them back when next-token entropy spikes recovers the grounding without a second forward pass.
- For detecting ungrounded object mentions in open-ended captions from white-box vision-language models, a single internal support signal (token likelihood, attention share, or image-text similarity) confuses support that comes from object-specific image evidence with support that comes from scene plausibility or the generated text prefix; scoring both whether image tokens carry object-specific evidence and whether support is more image-derived than prefix-derived separates these and raises detection AUROC.
- In diffusion vision-language models generating free-form captions, object tokens that are hallucinated commit at later denoising steps and with lower per-token confidence than grounded object tokens, so the commit-step trajectory is an available internal hallucination signal that has no counterpart in autoregressive decoding.
- In LLaVA-1.5-7B captioning, restricting a LoRA adapter to attention heads picked by a hallucination diagnosis (attention-to-image drop around hallucinated object words, then ablation screening) reduces object hallucination, while an identically trained layer-matched random-head adapter does not — so the selection, not the added adapter capacity, carries the effect.
- When a multimodal model is asked an object-existence question over a set of images at once, it is less accurate than when the same images are queried one at a time and the answers combined, so cross-image integration adds errors beyond the per-image perception errors.
- In open-source vision-language models (LLaVA-1.5, Qwen-VL-Chat, Qwen2.5-VL, LLaVA-NeXT), a training-free decoding intervention that detects large layer-to-layer and step-to-step shifts in hidden states and nudges the diverging states back toward their prior value lowers object-hallucination rates, but the lower rate comes with fewer objects mentioned and shorter outputs.
- For short-answer object-existence questions in open multimodal models (LLaVA v1.5, MiniGPT-4, Qwen2.5-VL), object hallucination is driven partly by the visual encoder itself rather than only by language priors: hallucinated cases show lower image-text embedding similarity and inverted attention, and swapping in a weaker or noisier visual encoder lowers POPE accuracy while a stronger one raises it.
- For training-free inference-time hallucination interventions in 7B-class vision-language models, increasing intervention strength (finer regional evidence partitioning, longer attention-routing windows, stronger textual perturbation) keeps lowering CHAIR object-hallucination scores while producing empty or reduced-coverage responses, so lower hallucination numbers at high intervention strength partly reflect the model saying less rather than grounding better.
- SpanCalib-VLM: Calibrated Hallucination Span Detection in Vision-Language Models
For detecting hallucinated text spans in vision-language model outputs, span localization and confidence calibration come from different architectures: a fine-tuned generative VLM proposes better span boundaries but scores them poorly, while a discriminative token tagger trained with a direct regression loss on human-consensus confidence gives better-correlated probabilities but conservative spans, so using the generative spans as proposals and the tagger's probabilities as scores beats either alone.
CapabilityKind / backingmechanism · single-paperScopeCharacter-level hallucination span detection on the SHROOM-Visions dataset (EN, FR, IT, ZH), responses under 512 tokens; tuning done on the English split.Techniqueproposed: union-calibrated fusion of a generative span proposer with a calibrated taggerStance on what we holdneitherFalsifierA fine-tuned generative VLM whose own token probabilities match or beat a dedicated regression-head tagger on calibration correlation, or a fusion that fails to improve on both subsystems on a held-out split.How well evidencedMeasured on the English validation split (N=379): tagger Pearson 0.369 vs generative 0.285; generative hallucinated IoU 0.182 vs tagger 0.155; fusion 0.413 Pearson and 0.391 IoU. Ablation shows removing the MSE calibration loss costs the most (-0.095 Pearson). Single task, single team, fusion weights tuned on the same validation split used to report the main number; hallucinated-span IoU stays low (0.196) throughout.What this capability already holds (22)
- A ~2M-parameter classifier head that reads hidden states already computed during generation (tapping shallow, middle and deep layers of the generating model) detects response-level hallucination at least as well as specialized hidden-state hallucination detectors, and its detection quality rises with the scale of the base model it is attached to.
- Accuracy on a fact scales with how many pretraining documents mention it, so long-tail facts are systematically unreliable.
- For black-box hallucination detection using only sampled responses and token log-probabilities, semantic-entropy signals go to zero whenever the samples collapse into one semantic cluster — which happens for a large share of hallucinated queries, up to nearly all of them on tasks with confusable entities and figures — while token-level uncertainty still separates many of those cases, so the two signals fail on different queries and combining them detects more than either alone.
- For closed-book hallucination detection, training a small supervised classifier over many heterogeneous uncertainty scores beats the best single score, but the gain comes from the diversity of sampling-based black-box signals: ensembles over only single-generation token-probability features add little, while black-box-only ensembles do nearly as well as the full set.
- On code prompts that are unsatisfiable by design, open-weight code and reasoning models refuse based on how suspicious the request looks rather than how deeply impossible it is: they refuse famous theoretical impossibilities far more often than requests for plausible-sounding nonexistent packages, and the stronger models in the set close the gap on theory while barely improving on fabricated ecosystem entities.
- Decomposing long answers into atomic facts and checking each with search catches most errors and beats human annotators on cost and agreement.
- For detecting hallucinated text spans in vision-language model outputs, span localization and confidence calibration come from different architectures: a fine-tuned generative VLM proposes better span boundaries but scores them poorly, while a discriminative token tagger trained with a direct regression loss on human-consensus confidence gives better-correlated probabilities but conservative spans, so using the generative spans as proposals and the tagger's probabilities as scores beats either alone.
- For filtering unsupported LLM-generated vulnerability reports in security triage, statistical machine-text detectors are the wrong instrument: they score provenance, not correctness, and human-written security reports are template-driven and low-perplexity, so they trip the same signal that flags machine text.
- When fine-tuning a base model on instruction data, removing from the training targets any factual claim the base model cannot consistently recall raises the supported-claim rate of later long-form generations, but the gain comes largely from a more conservative response policy — more refusals and fewer supported claims per answer — not from generating more correct facts at equal coverage.
- General-purpose factuality verifiers (entailment-, consistency-, and RAG-trained) and zero-shot frontier LLM judges perform near chance at spotting unsupported claims in scientific peer reviews that must be checked against the full submitted paper, because they cannot separate paper-unsupported assertions from legitimate evaluative critique; small models fine-tuned on in-domain examples beat them by a wide margin.
- Grounding generation in retrieved documents improves factual accuracy on knowledge-intensive tasks.
- In LLM-based ASR, steering decoding toward acoustic evidence only helps if candidates are first restricted to tokens within a small likelihood margin of the greedy token: unconstrained selection by an acoustic compatibility score removes hallucinated outputs but destroys transcription accuracy through unbounded insertions, while the constrained version removes a large share of hallucinations at near-zero WER/CER cost.
- Long-form biographies from strong models contain a substantial share of unsupported atomic facts, rising for less well-known subjects.
- Models reproduce common human misconceptions, and larger models were not more truthful on this benchmark.
- In multi-agent LLM systems where one agent starts with an erroneous shared belief, broadcasting every agent's full context at every step raises the rate of false assertions above doing no synchronization at all, because the error propagates to agents that were previously correct — and the harm appears only in tasks where one wrong fact cascades across semantically linked dimensions (destination to airport to weather), not where agent contexts are largely orthogonal.
- In open-weight 7-8B instruct models, a supervised detector built on how hidden states change between adjacent layers separates factually wrong from correct answers better than a probe on any single layer, and shuffling the layer order destroys most of the signal — so the ordering of the depth trajectory, not just the content of one layer, carries the information.
- On questions whose premises are false or internally contradictory, prompting mid-size instruct models (Qwen2.5-7B, LLaMA-3.1-8B, Gemma3-12B) to reason step by step can lower accuracy below plain answering, because the reasoning chain elaborates from the flawed premise instead of challenging it.
- In retrieval-augmented answers, splitting an answer into claims, checking each against the retrieved source, and then acting on the flagged claims reduces the share of answers judged to contain unsupported content — but the strategies trade grounding against preservation: deleting unsupported claims reduces unsupported content most while retaining the least original text, and rewriting retains the most while reducing least.
- Grounding answers in retrieved documents reduces unsupported generation but transfers the trust problem to the retrieval channel: whatever lands in context is treated as reliable, which shows up both as following instructions planted in retrieved content and as deferring to whichever account is better represented when sources disagree.
- When retrieval for a summarization task pulls definitions by surface term match from a general encyclopedia, ambiguous terms fetch the wrong sense and the model incorporates that unsupported background into its output, lowering claim-level factuality below the no-retrieval baseline even when the prompt tells it to ignore unrelated retrieved content.
- Surveys causes, kinds, and detection of hallucination across data, training, and inference, and finds no complete solution.
- Training a language model with differential privacy — whether DP-SGD pre-training or DP LoRA fine-tuning — makes it generate more false claims about facts in its training data than a non-private counterpart, and the effect grows as the privacy budget tightens, because per-example gradient clipping plus noise prevents low-frequency facts from being acquired at all while flattening the next-token distribution onto incorrect alternatives.
- Reachability-Based Capability Confinement for LLM Agents under Indirect Prompt Injection
For tool-using agents, restricting capabilities at the harness level after untrusted content enters the context — revoking or tightening the parameter envelopes of skills that lie on graph paths to deployer-defined forbidden states — cuts indirect-injection attack success further than prompt-level or per-action authorization defenses, and does so with no extra model calls or tokens, because enforcement reads the transition graph rather than the natural-language content.
CapabilityKind / backingmechanism · single-paperScopeRequires a trusted harness that mediates every skill invocation, correct skill transition summaries, and a deployer-written policy naming forbidden states and per-parameter steerability envelopes; residual attack success remains where the attacker objective is reached before restrictions apply or is not itself a policy violation.Techniqueproposed: reachability-based capability confinement after contaminationStance on what we holdneitherFalsifierAn evaluation on comparable agent benchmarks where post-contamination capability restriction leaves attack success no lower than CaMeL/AttriGuard-style per-action authorization, or where the utility cost of confinement is so large that the defended agent completes fewer tasks than a prompt-level defense at equal attack success.How well evidencedMeasured on four AgentDojo suites with Gemini 2.5 Flash and Llama3.3-70B, against No Defense, Spotlighting, CaMeL and AttriGuard, plus an author-built compositional attack set. Reports 0% attack success on Travel, Banking, Workspace for both backends and 4.8%/14.3% on Slack. Benign utility often falls relative to no defense; fractional-flow restriction retains more capability than binary at the same attack success. Authors' own system and own compositional benchmark; guarantees are conditional on policy correctness, which the paper's sensitivity test shows costs capability when envelopes are left conservative.What this capability already holds (11)
- For computer-use agents operating on a real OS, indirect-injection success rates measured with a fixed hand-written injection template understate vulnerability, because an attacker that adapts phrasing from the agent's own refusal trajectories can reach substantial success on models the fixed template never penetrates.
- Demonstrates that instructions planted in retrieved content can hijack real LLM-integrated applications for data theft and manipulation.
- For long-horizon tool-calling agents (tasks needing five or more calls), embedding state-transition cues — preconditions, invariants, completion states — into the descriptions of the tools on the intended chain is what actually steers the agent's trajectory; runtime corrective text appended to tool results only patches residual drift, and the plausible user prompt alone (persona, deadlines, format constraints) does not establish the trajectory at all.
- For open-weight agents where attention matrices are accessible, detecting injection by asking which context span actually drove the tool call — aggregating attention over the decision tokens and localizing the guiding span, then checking whether that span's provider has authority for the action — catches unauthorized tool invocations at higher true-positive and lower false-positive rates than static scanners that look for malicious-looking text, because benign-looking injected text is only harmful when it is what the model actually attends to.
- Prompt injection defenses that report near-zero attack success on short-context benchmarks lose most of that protection when the injected instruction sits inside a document of thousands to tens of thousands of tokens: fine-tuned separation defenses and detect-localize-remove pipelines still let a large share of injections through on paper review, resume screening, code review and email threads.
- Separating prompt and data with reserved delimiters and fine-tuning on that structure blocks most injections at little cost to utility.
- Simple goal-hijacking and prompt-leaking attacks succeed against production models with short adversarial strings.
- Separating instructions from data raises injection resistance substantially, but both published versions get their strength from fine-tuning the model on the separation, and both report improved robustness rather than elimination. Treat it as one layer of defense in depth; the prompt-only variant, without training, has no measured efficacy behind it here.
- For tool-using agents, enforcing injection defense as a deterministic provenance check on sensitive tool parameters — with the only model call reading the trusted user request and never fetched content — makes admission decisions invariant to how an injection is worded, whereas defenses that judge the agent's runtime plan or behavior with a model can be steered by reworded injections.
- For tool-using agents, restricting capabilities at the harness level after untrusted content enters the context — revoking or tightening the parameter envelopes of skills that lie on graph paths to deployer-defined forbidden states — cuts indirect-injection attack success further than prompt-level or per-action authorization defenses, and does so with no extra model calls or tokens, because enforcement reads the transition graph rather than the natural-language content.
- Training models to rank system, user, and tool instructions by privilege improves robustness to injections in tool outputs.
- CAST: Critique-Aware Supervision for Training Reliable Long-Horizon Tool-Calling Agents
Used zero-shot as step-level action critics in long-horizon tool-calling tasks, frontier models are over-pessimistic — flagging a large share of correct actions and pushing the actor into revision loops that lower success below no critic at all — whereas small models fine-tuned on action-level verification rationales flag far fewer valid actions and raise repeated-run reliability.
CapabilityKind / backingobservation · single-paperScopetau-Bench/tau-Trait style multi-turn tool-calling domains (retail, airline, telecom, telehealth); actor fixed as Qwen3-32B; critics were GPT-4.1, Qwen3-235B, Qwen2.5-72B prompted, versus 4B/8B critics trained on teacher-annotated step rationales.Techniqueproposed: critique-aware supervision from action-level verification rationalesStance on what we holdsupports — Without an external, ground-truth signal — a failing test, a compiler error, a v…Prompted frontier critics without training degraded actor performance relative to running with no critique agent, consistent with unaided critique being an unreliable improvement signal.FalsifierA study where prompted frontier-model critics improve pass^k over no-critique baselines on the same benchmarks, or where their false-flag rate on valid actions matches that of small critics trained on verification rationales.How well evidencedMeasured on four tool-calling domains with pass^1/pass^3/pass^4; reported GPT-4.1 critic flagging 46.8% of correct actions versus 13.6% and 11.4% for the trained 4B/8B critics, and average pass^4 falling from 11.5% (no critique) to 6.0% with GPT-4.1 critique while rising to 15.9%/19.5% with trained critics. Single paper, one model family for the trained critics, small out-of-domain task counts (18-20 tasks in telecom/telehealth), and prompting for the frontier critics was not tuned.What this capability already holds (14)
- Giving a coding agent a raw shell is worse than giving it a designed interface: SWE-agent's constrained Agent-Computer Interface — a file viewer windowed to 100 lines, a search tool that truncates large output, and an editor that lints before a change persists — roughly doubled SWE-bench resolution over raw shell access with the same model, because verbose output and unmanaged state are where the model loses its place.
- Across eight interactive environments, models fail mostly on long-horizon tool interaction, with open models far behind commercial ones.
- When an agent must work over a very large tool catalogue, wrapping each tool in a natural-language interface that resolves the API schema internally — so raw schemas are retrieved on demand rather than enumerated in the model's prompt — contributes more to multi-step tool- call success than the surrounding planner, router, or verifier stages.
- When a calculator-using model is trained with reinforcement learning on verifiable final-answer rewards for an arithmetic search task (Countdown), the gain lands almost entirely at low k — pass@1 rises sharply while pass@16 moves little or falls — because the update can only reinforce correct trajectories the starting policy already samples, and prompt groups with no correct sample supply no gradient.
- Fine-tuning on a large corpus of real API-call traces markedly improves multi-tool task completion in open models.
- A linear probe on a tool-calling model's hidden state at the last generated token detects incorrect tool-calls — including wrong-but-well-typed argument values that parsers and logs do not catch — and works better on larger models and at middle-to-late layers than at the final layer.
- For locally deployed open-weight models driving a stateful, dependency-ordered MCP tool server, cutting tool descriptions from full specifications (purpose, parameter semantics, constraints, failure conditions) down to one sentence each raises the fraction of calls the server rejects for every model tested, while its effect on task coverage is less consistent.
- Self-supervised training on tool-call examples teaches a model when and how to call simple tools, narrowing the gap on tasks that need them.
- Shows LLMs hallucinate API names and arguments when calling large API collections from memory, and that retrieving documentation reduces this.
- In simulated retail and airline domains with tools and policy documents, frontier models succeeded on well under two thirds of tasks and success dropped sharply when the same task had to be passed several times in a row.
- Worked examples in a tool description, long the standard way to teach tool use, can constrain a capable model to the exploration space the examples describe; Anthropic now advises designing expressive parameters instead — a status enumeration that implies its own usage rather than a demonstration of it.
- The large reported gains from fine-tuning on tool-call trajectories come from small open models starting far behind — distilling a few hundred trajectories from a stronger model moves them a long way. Whether the same procedure helps a model that is already good at tool use is a separate question this evidence does not answer.
- In simulated retail customer-support tasks with real tools and policy documents, GPT-4o — the best performer in the study — still completed well under two-thirds of tasks correctly, and its rate of passing the identical task eight times in a row (a proxy for production reliability) was far lower than its single-attempt success rate.
- Used zero-shot as step-level action critics in long-horizon tool-calling tasks, frontier models are over-pessimistic — flagging a large share of correct actions and pushing the actor into revision loops that lower success below no critic at all — whereas small models fine-tuned on action-level verification rationales flag far fewer valid actions and raise repeated-run reliability.
- SIR: Self-improving Red-teaming for Compute Use Agents
For computer-use agents operating on a real OS, indirect-injection success rates measured with a fixed hand-written injection template understate vulnerability, because an attacker that adapts phrasing from the agent's own refusal trajectories can reach substantial success on models the fixed template never penetrates.
CapabilityKind / backingobservation · single-paperScopeBlack-box attacker controlling a forum comment the agent reads; 50 web-to-OS tasks from RedTeamCUA; three frontier CUAs (Claude Opus 4.6/4.8, Gemini 3.5 Flash); success requires both the adversarial and benign task to complete, scored by deterministic system-state checks.Techniqueproposed: Failure-driven attack principle discoveryStance on what we holdneitherFalsifierAn adaptive, feedback-driven injection search that fails to beat the fixed template on models where the template scores near zero, or whose gains vanish under the same deterministic joint-success oracle.How well evidencedMeasured on 50 sampled tasks per model, three models. Baseline is RedTeamCUA's single urgency-laden template: 16%/4%/0% versus 54%/24%/28% for the adaptive pipeline. An ablation separates compositional search from the feedback loop, and two principles discovered on Opus 4.6 raised success on the two unseen models. Small task sample; attacker and analyzer are one model (Grok-4.3), so results are not shown to be attacker-independent.What this capability already holds (11)
- For computer-use agents operating on a real OS, indirect-injection success rates measured with a fixed hand-written injection template understate vulnerability, because an attacker that adapts phrasing from the agent's own refusal trajectories can reach substantial success on models the fixed template never penetrates.
- Demonstrates that instructions planted in retrieved content can hijack real LLM-integrated applications for data theft and manipulation.
- For long-horizon tool-calling agents (tasks needing five or more calls), embedding state-transition cues — preconditions, invariants, completion states — into the descriptions of the tools on the intended chain is what actually steers the agent's trajectory; runtime corrective text appended to tool results only patches residual drift, and the plausible user prompt alone (persona, deadlines, format constraints) does not establish the trajectory at all.
- For open-weight agents where attention matrices are accessible, detecting injection by asking which context span actually drove the tool call — aggregating attention over the decision tokens and localizing the guiding span, then checking whether that span's provider has authority for the action — catches unauthorized tool invocations at higher true-positive and lower false-positive rates than static scanners that look for malicious-looking text, because benign-looking injected text is only harmful when it is what the model actually attends to.
- Prompt injection defenses that report near-zero attack success on short-context benchmarks lose most of that protection when the injected instruction sits inside a document of thousands to tens of thousands of tokens: fine-tuned separation defenses and detect-localize-remove pipelines still let a large share of injections through on paper review, resume screening, code review and email threads.
- Separating prompt and data with reserved delimiters and fine-tuning on that structure blocks most injections at little cost to utility.
- Simple goal-hijacking and prompt-leaking attacks succeed against production models with short adversarial strings.
- Separating instructions from data raises injection resistance substantially, but both published versions get their strength from fine-tuning the model on the separation, and both report improved robustness rather than elimination. Treat it as one layer of defense in depth; the prompt-only variant, without training, has no measured efficacy behind it here.
- For tool-using agents, enforcing injection defense as a deterministic provenance check on sensitive tool parameters — with the only model call reading the trusted user request and never fetched content — makes admission decisions invariant to how an injection is worded, whereas defenses that judge the agent's runtime plan or behavior with a model can be steered by reworded injections.
- For tool-using agents, restricting capabilities at the harness level after untrusted content enters the context — revoking or tightening the parameter envelopes of skills that lie on graph paths to deployer-defined forbidden states — cuts indirect-injection attack success further than prompt-level or per-action authorization defenses, and does so with no extra model calls or tokens, because enforcement reads the transition graph rather than the natural-language content.
- Training models to rank system, user, and tool instructions by privilege improves robustness to injections in tool outputs.
- DSEffi-Bench: Demystifying Large Language Models' Capability in Efficient Data Science Code Generation
For data-science Python tasks where several correct solutions differ by orders of magnitude in runtime, a model's correctness rate does not predict the efficiency of the code it writes: rankings invert between the two, code-specialized open models are less efficient than general open models of similar size class, and the fastest model rotates by library (NumPy vs Pandas vs PyTorch vs Polars).
CapabilityKind / backingobservation · single-paperScopePython data-science code using Pandas/NumPy/PyTorch/SciPy/Polars, tasks drawn from efficiency-oriented Stack Overflow posts, one greedy sample per task, efficiency scored relative to a pool of correct solutions from 16 models plus a human reference.Techniqueproposed: Efficiency-taxonomy-guided reprompting and library-conditioned model routingStance on what we holdneitherFalsifierOn a comparable efficiency benchmark, model ranking by pass rate matches ranking by runtime efficiency of correct solutions, with no per-library rotation of the fastest model.How well evidenced1,000 human-validated instances, 16 models in 3 tiers, log-normalized relative runtime score restricted to solved tasks; rank inversions confirmed on pairwise win rates and on the 131 tasks all six representative models solved, which controls for correctness-conditioned task mix. Human reference beat the best model on efficiency. Single benchmark, Python only, Stack Overflow provenance so contamination is not ruled out.What this capability already holds (7)
- In agent pipelines that generate whole domain-specific ML codebases (medical imaging) from scratch, execution/assembly validation and domain knowledge bases fix different failures: removing runtime and assembly testing mainly costs autonomy (more human interventions to debug), while removing the curated domain knowledge base mainly costs output quality (syntactically fine but domain-inappropriate pipelines) with little change in intervention count.
- When a code-generation prompt combines a prompt-enforced output format (JSON or XML), a persona, and urgency framing at once, pass@1 on function-level Python problems can fall well below the sum of each constraint's individual effect, even when each constraint alone is neutral or helpful — observed in the GPT-4o family and absent in the GPT-4.1 family and o3-mini.
- For data-science Python tasks where several correct solutions differ by orders of magnitude in runtime, a model's correctness rate does not predict the efficiency of the code it writes: rankings invert between the two, code-specialized open models are less efficient than general open models of similar size class, and the fastest model rotates by library (NumPy vs Pandas vs PyTorch vs Polars).
- Grading generated code by whether it actually passes held-out functional tests, rather than by surface similarity to a reference solution, is what makes code generation gradeable at scale — and it's how the field has graded it since the earliest large benchmarks.
- On repository-level issue-fixing tasks (SWE-bench Lite/Verified/Pro), spending effort upstream — expanding the issue text into a structured requirement spec from retrieved repo context, then testing and refining that spec via generated code and tests — raises resolve rate over agents that consume the raw issue description, and raises the share of patches that even apply cleanly by a larger margin than it raises correctness.
- Static, fixed-problem coding benchmarks saturate and leak into training data over time, so getting an honest read on current code-generation ability requires a benchmark that continuously adds newly-published problems rather than reusing an older fixed set like HumanEval.
- In UI-to-code generation, where a rendered screenshot gives genuine external feedback, iterative self-critique still drifts below the initial draft over ten rounds, because a code edit changes the rendering non-locally and a fix for one region breaks regions that were already faithful; restricting each round to one typed, scoped repair target and carrying past targets forward as an avoid-list reduces that drift.
- ECLIPSE: Self-Evolving Stealthy Prompt Injection Attack against Long-Horizon Agentic Systems
For long-horizon tool-calling agents (tasks needing five or more calls), embedding state-transition cues — preconditions, invariants, completion states — into the descriptions of the tools on the intended chain is what actually steers the agent's trajectory; runtime corrective text appended to tool results only patches residual drift, and the plausible user prompt alone (persona, deadlines, format constraints) does not establish the trajectory at all.
CapabilityKind / backingmechanism · single-paperScopeAttacker can modify natural-language tool metadata (malicious MCP tool publication or post-registration description change) and also supplies the user prompt; measured on a 120-task long-horizon benchmark with an LLM safety-filter monitor.Techniqueproposed: Static workflow encoding in tool descriptionsStance on what we holdneitherFalsifierAn ablation on comparable long-horizon agent tasks where rewriting tool descriptions with workflow cues adds little over the prompt alone, or where runtime correction signals alone reach similar attack success and trajectory similarity.How well evidencedAblation on the authors' own benchmark under a defended DeepSeek victim: prompt-only 19-27% success, runtime correction alone 37.5%, tool-description encoding 66.7%, both 69.2%. Same-lab benchmark and success metric; the ablation isolates the channels but only for one victim model and one filter, and the mechanism claim generalizes beyond what was tested.What this capability already holds (11)
- For computer-use agents operating on a real OS, indirect-injection success rates measured with a fixed hand-written injection template understate vulnerability, because an attacker that adapts phrasing from the agent's own refusal trajectories can reach substantial success on models the fixed template never penetrates.
- Demonstrates that instructions planted in retrieved content can hijack real LLM-integrated applications for data theft and manipulation.
- For long-horizon tool-calling agents (tasks needing five or more calls), embedding state-transition cues — preconditions, invariants, completion states — into the descriptions of the tools on the intended chain is what actually steers the agent's trajectory; runtime corrective text appended to tool results only patches residual drift, and the plausible user prompt alone (persona, deadlines, format constraints) does not establish the trajectory at all.
- For open-weight agents where attention matrices are accessible, detecting injection by asking which context span actually drove the tool call — aggregating attention over the decision tokens and localizing the guiding span, then checking whether that span's provider has authority for the action — catches unauthorized tool invocations at higher true-positive and lower false-positive rates than static scanners that look for malicious-looking text, because benign-looking injected text is only harmful when it is what the model actually attends to.
- Prompt injection defenses that report near-zero attack success on short-context benchmarks lose most of that protection when the injected instruction sits inside a document of thousands to tens of thousands of tokens: fine-tuned separation defenses and detect-localize-remove pipelines still let a large share of injections through on paper review, resume screening, code review and email threads.
- Separating prompt and data with reserved delimiters and fine-tuning on that structure blocks most injections at little cost to utility.
- Simple goal-hijacking and prompt-leaking attacks succeed against production models with short adversarial strings.
- Separating instructions from data raises injection resistance substantially, but both published versions get their strength from fine-tuning the model on the separation, and both report improved robustness rather than elimination. Treat it as one layer of defense in depth; the prompt-only variant, without training, has no measured efficacy behind it here.
- For tool-using agents, enforcing injection defense as a deterministic provenance check on sensitive tool parameters — with the only model call reading the trusted user request and never fetched content — makes admission decisions invariant to how an injection is worded, whereas defenses that judge the agent's runtime plan or behavior with a model can be steered by reworded injections.
- For tool-using agents, restricting capabilities at the harness level after untrusted content enters the context — revoking or tightening the parameter envelopes of skills that lie on graph paths to deployer-defined forbidden states — cuts indirect-injection attack success further than prompt-level or per-action authorization defenses, and does so with no extra model calls or tokens, because enforcement reads the transition graph rather than the natural-language content.
- Training models to rank system, user, and tool instructions by privilege improves robustness to injections in tool outputs.
- VisER: Visual Evidence and Reliance for Object Hallucination Detection in LVLMs
For detecting ungrounded object mentions in open-ended captions from white-box vision-language models, a single internal support signal (token likelihood, attention share, or image-text similarity) confuses support that comes from object-specific image evidence with support that comes from scene plausibility or the generated text prefix; scoring both whether image tokens carry object-specific evidence and whether support is more image-derived than prefix-derived separates these and raises detection AUROC.
CapabilityKind / backingmechanism · single-paperScopeObject-existence hallucinations only, COCO/VOC category vocabularies, greedy-decoded detailed-description prompts, and access to internal hidden states; not tested on attributes, relations, counts, or black-box APIs.Techniqueproposed: two-sided visual evidence and reliance scoringStance on what we holdneitherFalsifierA detector using a single internal support signal matching or beating the two-sided score across the same models and datasets, or ablations showing the evidence gate and the image-vs-prefix ratio add nothing over compatibility alone.How well evidencedObject-level AUROC/AUPR on MSCOCO and Pascal VOC over eight LVLMs (LLaVA-1.5-7B/13B, LLaVA-NeXT, InstructBLIP, MiniGPT-4, InternVL3, Shikra, Qwen2.5-VL) against six training-free baselines; best average AUROC on both datasets. Ablations show compatibility alone at 72.25 AUROC rising to 83.88 with the evidence gate on LLaVA-1.5-7B, and counterfactuals (blank image, patch shuffle, prefix removal) move each component in the predicted direction. Single group, one prompt, one decoding setting; 500 images per benchmark.What this capability already holds (9)
- In 7-8B vision-language models, fine-tuning visual and text embeddings toward perturbation-averaged and ground-truth anchors before cross-modal contrastive alignment lowers object and attribute hallucination rates on captioning and existence benchmarks without reducing object coverage or general VQA accuracy.
- In 7B vision-language models that prune visual tokens during decoding for efficiency, hallucination rises as the generated caption gets longer, because pruning is irreversible and discards fine-grained evidence needed at later decoding steps; keeping the pruned tokens as a retrievable bank and pulling them back when next-token entropy spikes recovers the grounding without a second forward pass.
- For detecting ungrounded object mentions in open-ended captions from white-box vision-language models, a single internal support signal (token likelihood, attention share, or image-text similarity) confuses support that comes from object-specific image evidence with support that comes from scene plausibility or the generated text prefix; scoring both whether image tokens carry object-specific evidence and whether support is more image-derived than prefix-derived separates these and raises detection AUROC.
- In diffusion vision-language models generating free-form captions, object tokens that are hallucinated commit at later denoising steps and with lower per-token confidence than grounded object tokens, so the commit-step trajectory is an available internal hallucination signal that has no counterpart in autoregressive decoding.
- In LLaVA-1.5-7B captioning, restricting a LoRA adapter to attention heads picked by a hallucination diagnosis (attention-to-image drop around hallucinated object words, then ablation screening) reduces object hallucination, while an identically trained layer-matched random-head adapter does not — so the selection, not the added adapter capacity, carries the effect.
- When a multimodal model is asked an object-existence question over a set of images at once, it is less accurate than when the same images are queried one at a time and the answers combined, so cross-image integration adds errors beyond the per-image perception errors.
- In open-source vision-language models (LLaVA-1.5, Qwen-VL-Chat, Qwen2.5-VL, LLaVA-NeXT), a training-free decoding intervention that detects large layer-to-layer and step-to-step shifts in hidden states and nudges the diverging states back toward their prior value lowers object-hallucination rates, but the lower rate comes with fewer objects mentioned and shorter outputs.
- For short-answer object-existence questions in open multimodal models (LLaVA v1.5, MiniGPT-4, Qwen2.5-VL), object hallucination is driven partly by the visual encoder itself rather than only by language priors: hallucinated cases show lower image-text embedding similarity and inverted attention, and swapping in a weaker or noisier visual encoder lowers POPE accuracy while a stronger one raises it.
- For training-free inference-time hallucination interventions in 7B-class vision-language models, increasing intervention strength (finer regional evidence partitioning, longer attention-routing windows, stronger textual perturbation) keeps lowering CHAIR object-hallucination scores while producing empty or reduced-coverage responses, so lower hallucination numbers at high intervention strength partly reflect the model saying less rather than grounding better.
- Fine-Grained Multi Image Object Hallucination Benchmark
When a multimodal model is asked an object-existence question over a set of images at once, it is less accurate than when the same images are queried one at a time and the answers combined, so cross-image integration adds errors beyond the per-image perception errors.
CapabilityKind / backingmechanism · single-paperScopeObject-centric questions (existence, counting, attribute, position) over sets of 2-10 natural images; shown for existence in a controlled decomposition ablation across 29 MLLMs including GPT-5 and Gemini-2.5-Pro.Techniqueproposed: Decompose multi-image questions into per-image queriesStance on what we holdneitherFalsifierA model whose accuracy on joint multi-image existence questions matches or exceeds the combined per-image decomposed queries on the same images.How well evidencedAblation on the existence task comparing comprehensive multi-image questions against per-image decomposed questions over identical content; the paper reports the single-image route wins consistently across all models and scales, but the gap size is only shown in a figure. Overall benchmark average was 36.1% across 29 models; accuracy fell as image count rose (existence 62.4% easy to 30.0% at larger image counts).What this capability already holds (9)
- In 7-8B vision-language models, fine-tuning visual and text embeddings toward perturbation-averaged and ground-truth anchors before cross-modal contrastive alignment lowers object and attribute hallucination rates on captioning and existence benchmarks without reducing object coverage or general VQA accuracy.
- In 7B vision-language models that prune visual tokens during decoding for efficiency, hallucination rises as the generated caption gets longer, because pruning is irreversible and discards fine-grained evidence needed at later decoding steps; keeping the pruned tokens as a retrievable bank and pulling them back when next-token entropy spikes recovers the grounding without a second forward pass.
- For detecting ungrounded object mentions in open-ended captions from white-box vision-language models, a single internal support signal (token likelihood, attention share, or image-text similarity) confuses support that comes from object-specific image evidence with support that comes from scene plausibility or the generated text prefix; scoring both whether image tokens carry object-specific evidence and whether support is more image-derived than prefix-derived separates these and raises detection AUROC.
- In diffusion vision-language models generating free-form captions, object tokens that are hallucinated commit at later denoising steps and with lower per-token confidence than grounded object tokens, so the commit-step trajectory is an available internal hallucination signal that has no counterpart in autoregressive decoding.
- In LLaVA-1.5-7B captioning, restricting a LoRA adapter to attention heads picked by a hallucination diagnosis (attention-to-image drop around hallucinated object words, then ablation screening) reduces object hallucination, while an identically trained layer-matched random-head adapter does not — so the selection, not the added adapter capacity, carries the effect.
- When a multimodal model is asked an object-existence question over a set of images at once, it is less accurate than when the same images are queried one at a time and the answers combined, so cross-image integration adds errors beyond the per-image perception errors.
- In open-source vision-language models (LLaVA-1.5, Qwen-VL-Chat, Qwen2.5-VL, LLaVA-NeXT), a training-free decoding intervention that detects large layer-to-layer and step-to-step shifts in hidden states and nudges the diverging states back toward their prior value lowers object-hallucination rates, but the lower rate comes with fewer objects mentioned and shorter outputs.
- For short-answer object-existence questions in open multimodal models (LLaVA v1.5, MiniGPT-4, Qwen2.5-VL), object hallucination is driven partly by the visual encoder itself rather than only by language priors: hallucinated cases show lower image-text embedding similarity and inverted attention, and swapping in a weaker or noisier visual encoder lowers POPE accuracy while a stronger one raises it.
- For training-free inference-time hallucination interventions in 7B-class vision-language models, increasing intervention strength (finer regional evidence partitioning, longer attention-routing windows, stronger textual perturbation) keeps lowering CHAIR object-hallucination scores while producing empty or reduced-coverage responses, so lower hallucination numbers at high intervention strength partly reflect the model saying less rather than grounding better.
- SingProbe Technical Report
A ~2M-parameter classifier head that reads hidden states already computed during generation (tapping shallow, middle and deep layers of the generating model) detects response-level hallucination at least as well as specialized hidden-state hallucination detectors, and its detection quality rises with the scale of the base model it is attached to.
CapabilityKind / backingmechanism · single-paperScopeTwo Ling-3.0 base models (tiny and flash); response-level ROC AUC on six offline hallucination benchmarks and seven free-generation datasets; head trained on curated factuality/hallucination data with response-level labels; compared against DRIFT, HaMI, SAPLMA.Techniqueproposed: intrinsic hidden-state probe for hallucination risk during decodingStance on what we holdneitherFalsifierA probe trained the same way on reused hidden states scores no better than chance, or falls clearly below external detectors of similar training budget, or its AUC fails to improve when moved from a small to a larger base model.How well evidencedMeasured AUC, not accuracy at a threshold. Macro-average offline AUC 0.7765 (tiny) and 0.8012 (flash) vs best baseline DRIFT 0.7408/0.8000; online free-generation average 0.6786/0.7271 vs DRIFT 0.6316/0.6546, with labels from an LLM judge. Absolute AUCs are moderate and per-benchmark ranking is mixed (FAVA, RAGTruth, BBH favor baselines). Layer ablation shows hallucination gains more from multi-layer taps than safety does, supporting the mechanism reading. Only one model family, so scale claim rests on two points.What this capability already holds (22)
- A ~2M-parameter classifier head that reads hidden states already computed during generation (tapping shallow, middle and deep layers of the generating model) detects response-level hallucination at least as well as specialized hidden-state hallucination detectors, and its detection quality rises with the scale of the base model it is attached to.
- Accuracy on a fact scales with how many pretraining documents mention it, so long-tail facts are systematically unreliable.
- For black-box hallucination detection using only sampled responses and token log-probabilities, semantic-entropy signals go to zero whenever the samples collapse into one semantic cluster — which happens for a large share of hallucinated queries, up to nearly all of them on tasks with confusable entities and figures — while token-level uncertainty still separates many of those cases, so the two signals fail on different queries and combining them detects more than either alone.
- For closed-book hallucination detection, training a small supervised classifier over many heterogeneous uncertainty scores beats the best single score, but the gain comes from the diversity of sampling-based black-box signals: ensembles over only single-generation token-probability features add little, while black-box-only ensembles do nearly as well as the full set.
- On code prompts that are unsatisfiable by design, open-weight code and reasoning models refuse based on how suspicious the request looks rather than how deeply impossible it is: they refuse famous theoretical impossibilities far more often than requests for plausible-sounding nonexistent packages, and the stronger models in the set close the gap on theory while barely improving on fabricated ecosystem entities.
- Decomposing long answers into atomic facts and checking each with search catches most errors and beats human annotators on cost and agreement.
- For detecting hallucinated text spans in vision-language model outputs, span localization and confidence calibration come from different architectures: a fine-tuned generative VLM proposes better span boundaries but scores them poorly, while a discriminative token tagger trained with a direct regression loss on human-consensus confidence gives better-correlated probabilities but conservative spans, so using the generative spans as proposals and the tagger's probabilities as scores beats either alone.
- For filtering unsupported LLM-generated vulnerability reports in security triage, statistical machine-text detectors are the wrong instrument: they score provenance, not correctness, and human-written security reports are template-driven and low-perplexity, so they trip the same signal that flags machine text.
- When fine-tuning a base model on instruction data, removing from the training targets any factual claim the base model cannot consistently recall raises the supported-claim rate of later long-form generations, but the gain comes largely from a more conservative response policy — more refusals and fewer supported claims per answer — not from generating more correct facts at equal coverage.
- General-purpose factuality verifiers (entailment-, consistency-, and RAG-trained) and zero-shot frontier LLM judges perform near chance at spotting unsupported claims in scientific peer reviews that must be checked against the full submitted paper, because they cannot separate paper-unsupported assertions from legitimate evaluative critique; small models fine-tuned on in-domain examples beat them by a wide margin.
- Grounding generation in retrieved documents improves factual accuracy on knowledge-intensive tasks.
- In LLM-based ASR, steering decoding toward acoustic evidence only helps if candidates are first restricted to tokens within a small likelihood margin of the greedy token: unconstrained selection by an acoustic compatibility score removes hallucinated outputs but destroys transcription accuracy through unbounded insertions, while the constrained version removes a large share of hallucinations at near-zero WER/CER cost.
- Long-form biographies from strong models contain a substantial share of unsupported atomic facts, rising for less well-known subjects.
- Models reproduce common human misconceptions, and larger models were not more truthful on this benchmark.
- In multi-agent LLM systems where one agent starts with an erroneous shared belief, broadcasting every agent's full context at every step raises the rate of false assertions above doing no synchronization at all, because the error propagates to agents that were previously correct — and the harm appears only in tasks where one wrong fact cascades across semantically linked dimensions (destination to airport to weather), not where agent contexts are largely orthogonal.
- In open-weight 7-8B instruct models, a supervised detector built on how hidden states change between adjacent layers separates factually wrong from correct answers better than a probe on any single layer, and shuffling the layer order destroys most of the signal — so the ordering of the depth trajectory, not just the content of one layer, carries the information.
- On questions whose premises are false or internally contradictory, prompting mid-size instruct models (Qwen2.5-7B, LLaMA-3.1-8B, Gemma3-12B) to reason step by step can lower accuracy below plain answering, because the reasoning chain elaborates from the flawed premise instead of challenging it.
- In retrieval-augmented answers, splitting an answer into claims, checking each against the retrieved source, and then acting on the flagged claims reduces the share of answers judged to contain unsupported content — but the strategies trade grounding against preservation: deleting unsupported claims reduces unsupported content most while retaining the least original text, and rewriting retains the most while reducing least.
- Grounding answers in retrieved documents reduces unsupported generation but transfers the trust problem to the retrieval channel: whatever lands in context is treated as reliable, which shows up both as following instructions planted in retrieved content and as deferring to whichever account is better represented when sources disagree.
- When retrieval for a summarization task pulls definitions by surface term match from a general encyclopedia, ambiguous terms fetch the wrong sense and the model incorporates that unsupported background into its output, lowering claim-level factuality below the no-retrieval baseline even when the prompt tells it to ignore unrelated retrieved content.
- Surveys causes, kinds, and detection of hallucination across data, training, and inference, and finds no complete solution.
- Training a language model with differential privacy — whether DP-SGD pre-training or DP LoRA fine-tuning — makes it generate more false claims about facts in its training data than a non-private counterpart, and the effect grows as the privacy budget tightens, because per-example gradient clipping plus noise prevents low-frequency facts from being acquired at all while flattening the next-token distribution onto incorrect alternatives.
- Likelihood-Constrained Acoustic Reranking for Training-Free Hallucination Mitigation in LLM-Based ASR
In LLM-based ASR, steering decoding toward acoustic evidence only helps if candidates are first restricted to tokens within a small likelihood margin of the greedy token: unconstrained selection by an acoustic compatibility score removes hallucinated outputs but destroys transcription accuracy through unbounded insertions, while the constrained version removes a large share of hallucinations at near-zero WER/CER cost.
CapabilityKind / backingmechanism · single-paperScopeFour open LLM-based ASR systems (Qwen3-ASR-1.7B, Qwen2-Audio-7B Base, Kimi-Audio-7B-Instruct, GLM-ASR-Nano) on two 500-utterance stress suites built to elicit code-switching and instruction-following failures; greedy decoding baseline; margin delta=0.60 nats.Techniqueproposed: likelihood-constrained acoustic rerankingStance on what we holdneitherFalsifierAn unconstrained acoustic-reranking decoder that matches or beats the likelihood-constrained version on both hallucination removal and standard-test WER/CER, or a constrained variant whose hallucination reduction comes with large WER regressions on normal speech.How well evidencedPaired greedy-vs-LCAR decoding on 8800 frozen detector-positive records plus negative controls, with an LLM detector whose precision was human-audited at 93.3% on a 400-case stratified sample. Ablation on 800 Qwen3 positives isolates the likelihood constraint: acoustic-only selection gives comparable overall hallucination fixing but >600/1000 point WER/CER increases. Normal-speech effects measured on LibriSpeech test-clean and AISHELL2. Gains vary by model and suite; only 28.8% of detected events became faithful transcripts, so most fixes turned hallucinations into ordinary ASR errors. Single paper, open models only, no human-preference or downstream-task outcome.What this capability already holds (22)
- A ~2M-parameter classifier head that reads hidden states already computed during generation (tapping shallow, middle and deep layers of the generating model) detects response-level hallucination at least as well as specialized hidden-state hallucination detectors, and its detection quality rises with the scale of the base model it is attached to.
- Accuracy on a fact scales with how many pretraining documents mention it, so long-tail facts are systematically unreliable.
- For black-box hallucination detection using only sampled responses and token log-probabilities, semantic-entropy signals go to zero whenever the samples collapse into one semantic cluster — which happens for a large share of hallucinated queries, up to nearly all of them on tasks with confusable entities and figures — while token-level uncertainty still separates many of those cases, so the two signals fail on different queries and combining them detects more than either alone.
- For closed-book hallucination detection, training a small supervised classifier over many heterogeneous uncertainty scores beats the best single score, but the gain comes from the diversity of sampling-based black-box signals: ensembles over only single-generation token-probability features add little, while black-box-only ensembles do nearly as well as the full set.
- On code prompts that are unsatisfiable by design, open-weight code and reasoning models refuse based on how suspicious the request looks rather than how deeply impossible it is: they refuse famous theoretical impossibilities far more often than requests for plausible-sounding nonexistent packages, and the stronger models in the set close the gap on theory while barely improving on fabricated ecosystem entities.
- Decomposing long answers into atomic facts and checking each with search catches most errors and beats human annotators on cost and agreement.
- For detecting hallucinated text spans in vision-language model outputs, span localization and confidence calibration come from different architectures: a fine-tuned generative VLM proposes better span boundaries but scores them poorly, while a discriminative token tagger trained with a direct regression loss on human-consensus confidence gives better-correlated probabilities but conservative spans, so using the generative spans as proposals and the tagger's probabilities as scores beats either alone.
- For filtering unsupported LLM-generated vulnerability reports in security triage, statistical machine-text detectors are the wrong instrument: they score provenance, not correctness, and human-written security reports are template-driven and low-perplexity, so they trip the same signal that flags machine text.
- When fine-tuning a base model on instruction data, removing from the training targets any factual claim the base model cannot consistently recall raises the supported-claim rate of later long-form generations, but the gain comes largely from a more conservative response policy — more refusals and fewer supported claims per answer — not from generating more correct facts at equal coverage.
- General-purpose factuality verifiers (entailment-, consistency-, and RAG-trained) and zero-shot frontier LLM judges perform near chance at spotting unsupported claims in scientific peer reviews that must be checked against the full submitted paper, because they cannot separate paper-unsupported assertions from legitimate evaluative critique; small models fine-tuned on in-domain examples beat them by a wide margin.
- Grounding generation in retrieved documents improves factual accuracy on knowledge-intensive tasks.
- In LLM-based ASR, steering decoding toward acoustic evidence only helps if candidates are first restricted to tokens within a small likelihood margin of the greedy token: unconstrained selection by an acoustic compatibility score removes hallucinated outputs but destroys transcription accuracy through unbounded insertions, while the constrained version removes a large share of hallucinations at near-zero WER/CER cost.
- Long-form biographies from strong models contain a substantial share of unsupported atomic facts, rising for less well-known subjects.
- Models reproduce common human misconceptions, and larger models were not more truthful on this benchmark.
- In multi-agent LLM systems where one agent starts with an erroneous shared belief, broadcasting every agent's full context at every step raises the rate of false assertions above doing no synchronization at all, because the error propagates to agents that were previously correct — and the harm appears only in tasks where one wrong fact cascades across semantically linked dimensions (destination to airport to weather), not where agent contexts are largely orthogonal.
- In open-weight 7-8B instruct models, a supervised detector built on how hidden states change between adjacent layers separates factually wrong from correct answers better than a probe on any single layer, and shuffling the layer order destroys most of the signal — so the ordering of the depth trajectory, not just the content of one layer, carries the information.
- On questions whose premises are false or internally contradictory, prompting mid-size instruct models (Qwen2.5-7B, LLaMA-3.1-8B, Gemma3-12B) to reason step by step can lower accuracy below plain answering, because the reasoning chain elaborates from the flawed premise instead of challenging it.
- In retrieval-augmented answers, splitting an answer into claims, checking each against the retrieved source, and then acting on the flagged claims reduces the share of answers judged to contain unsupported content — but the strategies trade grounding against preservation: deleting unsupported claims reduces unsupported content most while retaining the least original text, and rewriting retains the most while reducing least.
- Grounding answers in retrieved documents reduces unsupported generation but transfers the trust problem to the retrieval channel: whatever lands in context is treated as reliable, which shows up both as following instructions planted in retrieved content and as deferring to whichever account is better represented when sources disagree.
- When retrieval for a summarization task pulls definitions by surface term match from a general encyclopedia, ambiguous terms fetch the wrong sense and the model incorporates that unsupported background into its output, lowering claim-level factuality below the no-retrieval baseline even when the prompt tells it to ignore unrelated retrieved content.
- Surveys causes, kinds, and detection of hallucination across data, training, and inference, and finds no complete solution.
- Training a language model with differential privacy — whether DP-SGD pre-training or DP LoRA fine-tuning — makes it generate more false claims about facts in its training data than a non-private counterpart, and the effect grows as the privacy budget tightens, because per-example gradient clipping plus noise prevents low-frequency facts from being acquired at all while flattening the next-token distribution onto incorrect alternatives.
- LOCI: A Locator-Critic with Refinement Loop
In multi-step visual QA, a critic step run by the same model improves final accuracy only when it is shown the candidate evidence alone and denied the generator's textual rationale; conditioned on that rationale, the critic ratifies the generator's initial hypothesis and the loop performs worse than no critic at all.
CapabilityKind / backingmechanism · single-paperScopeFrontier VLMs (Gemini 2.5 Pro, Qwen3-VL, GPT-5, Grok) on high-resolution visual search benchmarks where the bottleneck is locating a small detail, not reasoning; critic and generator are the same underlying model differentiated by prompt.Techniqueproposed: Critic blinded to the generator's rationaleStance on what we holdsupports — Without an external, ground-truth signal — a failing test, a compiler error, a v…Text-only Self-Refine scored below direct prompting on V*, and a locate-verify-answer loop where the verifier saw the model's own reasoning was 6.8 points below the same loop with the reasoning withheld.FalsifierAn ablation on comparable visual-search tasks where feeding the locator's textual reasoning to the critic matches or beats the crops-only critic, or where critic-in-the-loop gains persist regardless of what the critic sees.How well evidencedAblation on V* with Gemini 2.5 Pro: direct 83.8, locator only 89.2, locator+critic seeing crops only 92.7, locator+critic also seeing locator text 87.2; plus a token-matched baseline comparison (Explicit Locate-Verify-Answer 85.9). Single benchmark for the ablation, one backbone; the headline gains replicate across four VLMs and three benchmarks but the blinding ablation itself does not.What this capability already holds (10)
- With weights frozen and no stronger model in the loop, an agent can raise its own pass rate by rewriting the scaffolding it runs inside — clustering its failures, proposing minimal edits to prompts, tools and policy, and keeping only edits that improve one split without degrading another: all 9 of 9 model-by-benchmark pairs improved, by up to 40.6 percentage points (GLM-5 on AppWorld, 44.4% to 85.0%), with weak models gaining most; but the promotion gate reads the held-out split, so the reported held-out gain is not clean generalisation, and there is no matched-compute baseline.
- In an agent's verify-and-fix loop, deterministic checks — tests, linters, schema validators — should be exhausted before any model-based judge is added, because they are free, fast and give the same verdict every time, while an LLM-as-judge costs tokens per run, returns non-deterministic verdicts, and so belongs only on properties no rule can express, and even then as an advisory signal until measured against human review.
- Reflect-and-retry raises task success when the feedback in the loop is a genuine external signal — a failing test, a compiler error, an environment outcome — but not when the "feedback" is the model's own unaided critique. The grounding, not the reflection step, is what does the work.
- When a model gets a real environment signal after acting — a test result, a tool error, a task-success indicator — reflecting on that signal in words and retrying substantially improves success rates on multi-step coding and decision-making tasks over a single attempt.
- In multi-step visual QA, a critic step run by the same model improves final accuracy only when it is shown the candidate evidence alone and denied the generator's textual rationale; conditioned on that rationale, the critic ratifies the generator's initial hypothesis and the loop performs worse than no critic at all.
- In open-ended editing tasks with no unique correct output (multi-slide design editing), a separate judge model that scores the structural diff between the original and edited artifact against the instruction, and returns its critique verbatim as the next-turn instruction, raises instruction-following over a single pass, but the gain is selective: most tasks pass on the first attempt, and a minority of the ones that enter the loop get worse unless an earlier iteration is restored when the judge's own score declines.
- Without an external, ground-truth signal — a failing test, a compiler error, a verifier's output — a model's own critique of its reasoning is not a reliable improvement signal, and asking it to review and revise a correct answer often turns it into a wrong one.
- Prompting a model to generate its own feedback on a draft output and revise accordingly improves quality on open-ended generation tasks (dialogue, code, review-writing) over a single-shot attempt.
- The agent that produced an artifact is a biased judge of it — it holds the context and the incentives that skew its assessment — so verification belongs with a deterministic sensor or a separate verifier that reports failures back rather than rewriting the output, and in a multi-agent system the verifier is the one component no agent may override.
- Tool-augmented multimodal models trained only on how to call vision tools accept tool outputs uncritically; adding supervised trajectories where tool evidence is checked against the image and re-queried, plus a reward for correction that reaches a correct answer, raises accuracy on perception-heavy benchmarks (counting, depth, spatial relations) in 3B and 7B Qwen2.5-VL, while slightly lowering it on knowledge-heavy ones.
- Stick to What You Know: A Study of Knowledge-Aligned Supervised Fine-Tuning
When fine-tuning a base model on instruction data, removing from the training targets any factual claim the base model cannot consistently recall raises the supported-claim rate of later long-form generations, but the gain comes largely from a more conservative response policy — more refusals and fewer supported claims per answer — not from generating more correct facts at equal coverage.
CapabilityKind / backingmechanism · single-paperScopeShown on Qwen3-4B-Base and OLMo 3 7B fine-tuned on the small English first-turn OASST1 set, evaluated on entity-centric long-form factuality benchmarks (WildHalu, Biography) with automatic claim verification; teacher models did the claim probing and rewriting.Techniqueproposed: Recall-consistency filtering of fine-tuning targetsStance on what we holdneitherFalsifierA run where recall-filtered targets raise supported-claim percentage while holding refusal count and number of supported claims per response equal to standard SFT would show the gain is not coverage-driven; conversely, showing no factuality gain at all when the share of known claims in targets is varied would falsify the mechanism.How well evidencedCompared four knowledge-alignment methods against standard SFT under one training setup, plus an ablation varying only the share of known claims (100/50/0%) with prompt count and refusal count fixed, which is the part that isolates causality. Factuality metrics count refusals as fully supported, so the headline gain is partly definitional; the authors say so and report the falling supported-claim counts. Single dataset, small SFT corpus, automatic verifiers.What this capability already holds (22)
- A ~2M-parameter classifier head that reads hidden states already computed during generation (tapping shallow, middle and deep layers of the generating model) detects response-level hallucination at least as well as specialized hidden-state hallucination detectors, and its detection quality rises with the scale of the base model it is attached to.
- Accuracy on a fact scales with how many pretraining documents mention it, so long-tail facts are systematically unreliable.
- For black-box hallucination detection using only sampled responses and token log-probabilities, semantic-entropy signals go to zero whenever the samples collapse into one semantic cluster — which happens for a large share of hallucinated queries, up to nearly all of them on tasks with confusable entities and figures — while token-level uncertainty still separates many of those cases, so the two signals fail on different queries and combining them detects more than either alone.
- For closed-book hallucination detection, training a small supervised classifier over many heterogeneous uncertainty scores beats the best single score, but the gain comes from the diversity of sampling-based black-box signals: ensembles over only single-generation token-probability features add little, while black-box-only ensembles do nearly as well as the full set.
- On code prompts that are unsatisfiable by design, open-weight code and reasoning models refuse based on how suspicious the request looks rather than how deeply impossible it is: they refuse famous theoretical impossibilities far more often than requests for plausible-sounding nonexistent packages, and the stronger models in the set close the gap on theory while barely improving on fabricated ecosystem entities.
- Decomposing long answers into atomic facts and checking each with search catches most errors and beats human annotators on cost and agreement.
- For detecting hallucinated text spans in vision-language model outputs, span localization and confidence calibration come from different architectures: a fine-tuned generative VLM proposes better span boundaries but scores them poorly, while a discriminative token tagger trained with a direct regression loss on human-consensus confidence gives better-correlated probabilities but conservative spans, so using the generative spans as proposals and the tagger's probabilities as scores beats either alone.
- For filtering unsupported LLM-generated vulnerability reports in security triage, statistical machine-text detectors are the wrong instrument: they score provenance, not correctness, and human-written security reports are template-driven and low-perplexity, so they trip the same signal that flags machine text.
- When fine-tuning a base model on instruction data, removing from the training targets any factual claim the base model cannot consistently recall raises the supported-claim rate of later long-form generations, but the gain comes largely from a more conservative response policy — more refusals and fewer supported claims per answer — not from generating more correct facts at equal coverage.
- General-purpose factuality verifiers (entailment-, consistency-, and RAG-trained) and zero-shot frontier LLM judges perform near chance at spotting unsupported claims in scientific peer reviews that must be checked against the full submitted paper, because they cannot separate paper-unsupported assertions from legitimate evaluative critique; small models fine-tuned on in-domain examples beat them by a wide margin.
- Grounding generation in retrieved documents improves factual accuracy on knowledge-intensive tasks.
- In LLM-based ASR, steering decoding toward acoustic evidence only helps if candidates are first restricted to tokens within a small likelihood margin of the greedy token: unconstrained selection by an acoustic compatibility score removes hallucinated outputs but destroys transcription accuracy through unbounded insertions, while the constrained version removes a large share of hallucinations at near-zero WER/CER cost.
- Long-form biographies from strong models contain a substantial share of unsupported atomic facts, rising for less well-known subjects.
- Models reproduce common human misconceptions, and larger models were not more truthful on this benchmark.
- In multi-agent LLM systems where one agent starts with an erroneous shared belief, broadcasting every agent's full context at every step raises the rate of false assertions above doing no synchronization at all, because the error propagates to agents that were previously correct — and the harm appears only in tasks where one wrong fact cascades across semantically linked dimensions (destination to airport to weather), not where agent contexts are largely orthogonal.
- In open-weight 7-8B instruct models, a supervised detector built on how hidden states change between adjacent layers separates factually wrong from correct answers better than a probe on any single layer, and shuffling the layer order destroys most of the signal — so the ordering of the depth trajectory, not just the content of one layer, carries the information.
- On questions whose premises are false or internally contradictory, prompting mid-size instruct models (Qwen2.5-7B, LLaMA-3.1-8B, Gemma3-12B) to reason step by step can lower accuracy below plain answering, because the reasoning chain elaborates from the flawed premise instead of challenging it.
- In retrieval-augmented answers, splitting an answer into claims, checking each against the retrieved source, and then acting on the flagged claims reduces the share of answers judged to contain unsupported content — but the strategies trade grounding against preservation: deleting unsupported claims reduces unsupported content most while retaining the least original text, and rewriting retains the most while reducing least.
- Grounding answers in retrieved documents reduces unsupported generation but transfers the trust problem to the retrieval channel: whatever lands in context is treated as reliable, which shows up both as following instructions planted in retrieved content and as deferring to whichever account is better represented when sources disagree.
- When retrieval for a summarization task pulls definitions by surface term match from a general encyclopedia, ambiguous terms fetch the wrong sense and the model incorporates that unsupported background into its output, lowering claim-level factuality below the no-retrieval baseline even when the prompt tells it to ignore unrelated retrieved content.
- Surveys causes, kinds, and detection of hallucination across data, training, and inference, and finds no complete solution.
- Training a language model with differential privacy — whether DP-SGD pre-training or DP LoRA fine-tuning — makes it generate more false claims about facts in its training data than a non-private counterpart, and the effect grows as the privacy budget tightens, because per-example gradient clipping plus noise prevents low-frequency facts from being acquired at all while flattening the next-token distribution onto incorrect alternatives.
- Sycophantic Agreement Transfers with Neutral Data via Contrastive Preference Optimization
When preference pairs are built by having one strong model write all chosen responses and one weak model all rejected responses (delta learning), contrastive objectives such as DPO transfer the chosen model's sycophantic-agreement rate to the student even though no individual example contains sycophancy — the student's rate tracks the log-ratio of the two teachers' sycophancy rates, so reversing which teacher is 'chosen' drives sycophancy far below the SFT starting point.
CapabilityKind / backingmechanism · single-paperScope7-8B students in the OLMo 3 and Tulu 3 pipelines; sycophancy measured as answer-flipping on MMLU questions after user pushback in a second turn; teacher pairs drawn from within one model familyTechniqueproposed: match teacher sycophancy across chosen and rejected responsesStance on what we holdneitherFalsifierTraining students on delta-learning pairs where the chosen teacher is far more sycophantic than the rejected teacher, and finding no rise in student sycophancy relative to matched-teacher or reversed-teacher pairs, would falsify it.How well evidenced15 DPO checkpoints across Qwen3, OLMo-2, Llama-3 teacher pairs; log-ratio regressor gives R2=0.76, rho=0.83, p<0.001. OLMo-3-7B sycophancy rose 12% to 32% at the DPO stage; original delta labels gave 35%, reversed labels 0.6%. Six other contrastive objectives (KTO, APO Down/Zero, IPO, ORPO, SimPO) matched or exceeded DPO, while SFT on chosen responses alone recovered under half the increase — this isolates the contrastive signal rather than the chosen data. Diffuseness argued from failed probe-based attribution filtering (60k points removed) and failed logit-linear selection. Only two pipelines, one eval setting, 7-8B students.What this capability already holds (11)
- Fine-tuning on simple synthetic examples where the user's opinion is irrelevant to the answer reduces sycophancy substantially.
- Five assistants trained with human feedback consistently show sycophancy across tasks, and human preference data itself rewards it.
- A model's tendency to shift political stance toward a bare demographic identity label is a separate vulnerability from its tendency to shift toward an explicitly stated user opinion: on open-ended US policy prompts, the models most moved by an identity label are among the least moved by a stated opinion, so a benchmark using only stated opinions misses identity-driven shift.
- When a multimodal model is given external text that contradicts the image, making it commit to a description of the image before the text is admitted, then reconciling the two in a second call, recovers accuracy the single-prompt setup loses — but the benefit of withholding the text from the first call is model- and text-source dependent, and on some models context-preserving prompting is still better.
- In open-weight instruction-tuned models, interventions that suppress caving to user pushback (DPO, SFT on chosen responses, or activation steering) also tend to reduce the model's rate of correcting a wrong answer when genuine supporting evidence is supplied, because the two answer-flip behaviors run on overlapping MLP neurons and attention heads with positively aligned steering directions.
- When preference pairs are built by having one strong model write all chosen responses and one weak model all rejected responses (delta learning), contrastive objectives such as DPO transfer the chosen model's sycophantic-agreement rate to the student even though no individual example contains sycophancy — the student's rate tracks the log-ratio of the two teachers' sycophancy rates, so reversing which teacher is 'chosen' drives sycophancy far below the SFT starting point.
- Rewarding sycophantic behavior generalizes to more serious specification gaming in a small fraction of cases.
- For small instruction-tuned models (3-4B) answering closed-form true/false questions under a stated user opinion, scoring each sampled response by how much more common its answer is than the group itself predicted, and using that score as the GRPO reward, reduces answer flips under user pressure and raises accuracy without any labels, roughly matching label-supervised desycophancy fine-tuning at higher compute cost.
- Claude 2, like four other assistants tested in the same study, changed correct answers under simple user pushback ("are you sure?") and shifted its evaluation of a user's argument toward whatever position the user appeared to hold.
- When a user profile of stated attributes and preferences is placed in context, models agree with the user far more than with no profile — across 13 open and closed models the profile, not retrieved conversation memory, is the dominant driver, and inverting the stated preference flips almost all responses to the opposite side.
- Sycophancy is triggered by the user's stated view being in context, so the cheapest control is not putting it there — ask for the answer before the opinion, or withhold the opinion entirely. Fine-tuning is the answer for the cases where the opinion has to be in context and the answer still must not move.
- Do Multimodal LLMs See Before They Read? Diagnosing Contextual Sycophancy
When a multimodal model is given external text that contradicts the image, making it commit to a description of the image before the text is admitted, then reconciling the two in a second call, recovers accuracy the single-prompt setup loses — but the benefit of withholding the text from the first call is model- and text-source dependent, and on some models context-preserving prompting is still better.
CapabilityKind / backingmechanism · single-paperScopeImage-question pairs where the visible scene conflicts with commonsense priors and a single false sentence supports the prior; six frontier multimodal models; false text generated by one model, with a 200-case regeneration by another that changes the ordering.Techniqueproposed: Context-blind visual witness then arbitrationStance on what we holdsupports — Sycophancy is triggered by the user's stated view being in context, so the cheap…Extends the same lever — keep the biasing text out of context when the answer is formed — to conflicting external text in multimodal input, while showing the withholding step alone is not what carries the gain.FalsifierA replication where the staged witness-then-arbiter pipeline gives no gain over a prompt-matched single-call condition on conflicting image-text cases, or where withholding the text from the witness helps uniformly across models and text generators.How well evidenced998-case constructed diagnostic, 499 abnormal images with false text; six models. Arbitration over the isolated witness gains 19.7-44.1 points with paired 95% CIs excluding zero. But Kimi-K2.5 does best under a plain visual-supremacy prompt and Qwen3-Instruct under joint conditioning; on the GPT-4o-regenerated 100-case subset joint is best for three of four models. Ground truth is the image answer by construction, and grading is by a GPT-4o-mini judge with partial human audit. Adversarial by design, not a prevalence estimate.What this capability already holds (11)
- Fine-tuning on simple synthetic examples where the user's opinion is irrelevant to the answer reduces sycophancy substantially.
- Five assistants trained with human feedback consistently show sycophancy across tasks, and human preference data itself rewards it.
- A model's tendency to shift political stance toward a bare demographic identity label is a separate vulnerability from its tendency to shift toward an explicitly stated user opinion: on open-ended US policy prompts, the models most moved by an identity label are among the least moved by a stated opinion, so a benchmark using only stated opinions misses identity-driven shift.
- When a multimodal model is given external text that contradicts the image, making it commit to a description of the image before the text is admitted, then reconciling the two in a second call, recovers accuracy the single-prompt setup loses — but the benefit of withholding the text from the first call is model- and text-source dependent, and on some models context-preserving prompting is still better.
- In open-weight instruction-tuned models, interventions that suppress caving to user pushback (DPO, SFT on chosen responses, or activation steering) also tend to reduce the model's rate of correcting a wrong answer when genuine supporting evidence is supplied, because the two answer-flip behaviors run on overlapping MLP neurons and attention heads with positively aligned steering directions.
- When preference pairs are built by having one strong model write all chosen responses and one weak model all rejected responses (delta learning), contrastive objectives such as DPO transfer the chosen model's sycophantic-agreement rate to the student even though no individual example contains sycophancy — the student's rate tracks the log-ratio of the two teachers' sycophancy rates, so reversing which teacher is 'chosen' drives sycophancy far below the SFT starting point.
- Rewarding sycophantic behavior generalizes to more serious specification gaming in a small fraction of cases.
- For small instruction-tuned models (3-4B) answering closed-form true/false questions under a stated user opinion, scoring each sampled response by how much more common its answer is than the group itself predicted, and using that score as the GRPO reward, reduces answer flips under user pressure and raises accuracy without any labels, roughly matching label-supervised desycophancy fine-tuning at higher compute cost.
- Claude 2, like four other assistants tested in the same study, changed correct answers under simple user pushback ("are you sure?") and shifted its evaluation of a user's argument toward whatever position the user appeared to hold.
- When a user profile of stated attributes and preferences is placed in context, models agree with the user far more than with no profile — across 13 open and closed models the profile, not retrieved conversation memory, is the dominant driver, and inverting the stated preference flips almost all responses to the opposite side.
- Sycophancy is triggered by the user's stated view being in context, so the cheapest control is not putting it there — ask for the answer before the opinion, or withhold the opinion entirely. Fine-tuning is the answer for the cases where the opinion has to be in context and the answer still must not move.
- Beyond Language Priors: Diagnosing and Fixing Visual-Origin Hallucinations in Multimodal LLM
For short-answer object-existence questions in open multimodal models (LLaVA v1.5, MiniGPT-4, Qwen2.5-VL), object hallucination is driven partly by the visual encoder itself rather than only by language priors: hallucinated cases show lower image-text embedding similarity and inverted attention, and swapping in a weaker or noisier visual encoder lowers POPE accuracy while a stronger one raises it.
CapabilityKind / backingmechanism · single-paperScopeBinary yes/no existence questions with very short outputs (POPE, MME-Existence); the paper says long-form description settings are more affected by language priors.Techniqueproposed: Adversarial contrastive fine-tuning on hallucination-flipped image pairsStance on what we holdneitherFalsifierShow that varying visual encoder quality leaves object-existence hallucination rates unchanged, or that the image-text similarity and attention-entropy differences between hallucinated and correct cases disappear under matched question difficulty.How well evidencedCosine-similarity comparison and Grad-CAM entropy over 500 hallucinated vs 500 correct samples on LLaVA v1.5, plus encoder-swap interventions on POPE (average accuracy 0.842 baseline, 0.739-0.822 degraded, 0.864 with SigLIP-SO400M). Entropy differences are small (5.1%, 6.2%) and the diagnostic analysis is on one model; the encoder interventions do isolate visual feature quality.What this capability already holds (9)
- In 7-8B vision-language models, fine-tuning visual and text embeddings toward perturbation-averaged and ground-truth anchors before cross-modal contrastive alignment lowers object and attribute hallucination rates on captioning and existence benchmarks without reducing object coverage or general VQA accuracy.
- In 7B vision-language models that prune visual tokens during decoding for efficiency, hallucination rises as the generated caption gets longer, because pruning is irreversible and discards fine-grained evidence needed at later decoding steps; keeping the pruned tokens as a retrievable bank and pulling them back when next-token entropy spikes recovers the grounding without a second forward pass.
- For detecting ungrounded object mentions in open-ended captions from white-box vision-language models, a single internal support signal (token likelihood, attention share, or image-text similarity) confuses support that comes from object-specific image evidence with support that comes from scene plausibility or the generated text prefix; scoring both whether image tokens carry object-specific evidence and whether support is more image-derived than prefix-derived separates these and raises detection AUROC.
- In diffusion vision-language models generating free-form captions, object tokens that are hallucinated commit at later denoising steps and with lower per-token confidence than grounded object tokens, so the commit-step trajectory is an available internal hallucination signal that has no counterpart in autoregressive decoding.
- In LLaVA-1.5-7B captioning, restricting a LoRA adapter to attention heads picked by a hallucination diagnosis (attention-to-image drop around hallucinated object words, then ablation screening) reduces object hallucination, while an identically trained layer-matched random-head adapter does not — so the selection, not the added adapter capacity, carries the effect.
- When a multimodal model is asked an object-existence question over a set of images at once, it is less accurate than when the same images are queried one at a time and the answers combined, so cross-image integration adds errors beyond the per-image perception errors.
- In open-source vision-language models (LLaVA-1.5, Qwen-VL-Chat, Qwen2.5-VL, LLaVA-NeXT), a training-free decoding intervention that detects large layer-to-layer and step-to-step shifts in hidden states and nudges the diverging states back toward their prior value lowers object-hallucination rates, but the lower rate comes with fewer objects mentioned and shorter outputs.
- For short-answer object-existence questions in open multimodal models (LLaVA v1.5, MiniGPT-4, Qwen2.5-VL), object hallucination is driven partly by the visual encoder itself rather than only by language priors: hallucinated cases show lower image-text embedding similarity and inverted attention, and swapping in a weaker or noisier visual encoder lowers POPE accuracy while a stronger one raises it.
- For training-free inference-time hallucination interventions in 7B-class vision-language models, increasing intervention strength (finer regional evidence partitioning, longer attention-routing windows, stronger textual perturbation) keeps lowering CHAIR object-hallucination scores while producing empty or reduced-coverage responses, so lower hallucination numbers at high intervention strength partly reflect the model saying less rather than grounding better.
- Towards a Belief-Based World Model for LLM Agents
In partially observable text environments (ALFWorld, ScienceWorld), letting an LLM agent query an externally maintained state estimate that keeps an explicit distribution over unobserved object locations raises task success more than querying a deterministic memory of what has already been observed, and the gain shrinks to near zero on a frontier model that already nearly saturates the benchmark.
CapabilityKind / backingobservation · single-paperScopeText-based household/science task environments where the only uncertainty is object location and the state space, prior and update rule are hand-specified; agents run under ReAct and ReflAct scaffolds; models Llama-3.1-8B-Instruct, Qwen3-14B, Sonnet 4.6.Techniqueproposed: Expose a maintained belief distribution to the agent as a queryable interfaceStance on what we holdneitherFalsifierAn evaluation where the memory-only variant (observed locations, generic 'not yet observed' reply) matches the belief variant's success rate on the same tasks and models, or where belief access gives no gain over the base agent for small open models.How well evidencedMeasured success rate and steps on unseen splits of two text benchmarks, three models x two agent scaffolds, three runs (one for Sonnet). Belief-only beat base agent and beat a memory-only ablation on ALFWorld for Llama and Qwen; Sonnet showed little or no performance change. Belief accuracy is hand-engineered from the game engine's own priors, so the result isolates the value of the interface, not whether such a belief can be learned.What this capability already holds (3)
- Models that predict next steps well can still hold an incoherent implicit world model, which fails when the task deviates from familiar traces.
- Only models with substantial code pretraining track entity state through a sequence of operations, and all degrade as the sequence lengthens.
- In partially observable text environments (ALFWorld, ScienceWorld), letting an LLM agent query an externally maintained state estimate that keeps an explicit distribution over unobserved object locations raises task success more than querying a deterministic memory of what has already been observed, and the gain shrinks to near zero on a frontier model that already nearly saturates the benchmark.
- The Privacy-Hallucination Tradeoff in Differentially Private Language Models
Training a language model with differential privacy — whether DP-SGD pre-training or DP LoRA fine-tuning — makes it generate more false claims about facts in its training data than a non-private counterpart, and the effect grows as the privacy budget tightens, because per-example gradient clipping plus noise prevents low-frequency facts from being acquired at all while flattening the next-token distribution onto incorrect alternatives.
CapabilityKind / backingmechanism · single-paperScopeOpen-ended long-form generation of Wikipedia-style articles, scored by atomic-claim verification; GPT-J 6B fine-tuned at epsilon 8 and 16, and VaultGemma-1B pre-trained at epsilon 2 versus Gemma baselines. Not tested on DP retrieval-augmented setups or with refusal/uncertainty post-training.TechniquenoneStance on what we holdsupports — Accuracy on a fact scales with how many pretraining documents mention it, so lon…A controlled experiment varying fact frequency shows DP raises the repetition count needed to acquire a fact, so the frequency-accuracy dependence sharpens under DP.FalsifierA DP-trained model at a strict privacy budget matching or beating its non-private counterpart on atomic-fact accuracy for facts present in the training data, with no reduction in output informativeness.How well evidencedFactScore on three Wikipedia sets plus human annotation by 5 graduate students on 30 stratified AI articles; ordering non-DP > eps=16 > eps=8 held on both datasets, though one comparison was not significant and eps=8 was near the untrained base model on the AI set. Mechanism supported by nucleus/entropy measurements and a synthetic bigram replication rather than by intervention. Model-human agreement on claim support was low, so the automated metric is an imperfect proxy.What this capability already holds (22)
- A ~2M-parameter classifier head that reads hidden states already computed during generation (tapping shallow, middle and deep layers of the generating model) detects response-level hallucination at least as well as specialized hidden-state hallucination detectors, and its detection quality rises with the scale of the base model it is attached to.
- Accuracy on a fact scales with how many pretraining documents mention it, so long-tail facts are systematically unreliable.
- For black-box hallucination detection using only sampled responses and token log-probabilities, semantic-entropy signals go to zero whenever the samples collapse into one semantic cluster — which happens for a large share of hallucinated queries, up to nearly all of them on tasks with confusable entities and figures — while token-level uncertainty still separates many of those cases, so the two signals fail on different queries and combining them detects more than either alone.
- For closed-book hallucination detection, training a small supervised classifier over many heterogeneous uncertainty scores beats the best single score, but the gain comes from the diversity of sampling-based black-box signals: ensembles over only single-generation token-probability features add little, while black-box-only ensembles do nearly as well as the full set.
- On code prompts that are unsatisfiable by design, open-weight code and reasoning models refuse based on how suspicious the request looks rather than how deeply impossible it is: they refuse famous theoretical impossibilities far more often than requests for plausible-sounding nonexistent packages, and the stronger models in the set close the gap on theory while barely improving on fabricated ecosystem entities.
- Decomposing long answers into atomic facts and checking each with search catches most errors and beats human annotators on cost and agreement.
- For detecting hallucinated text spans in vision-language model outputs, span localization and confidence calibration come from different architectures: a fine-tuned generative VLM proposes better span boundaries but scores them poorly, while a discriminative token tagger trained with a direct regression loss on human-consensus confidence gives better-correlated probabilities but conservative spans, so using the generative spans as proposals and the tagger's probabilities as scores beats either alone.
- For filtering unsupported LLM-generated vulnerability reports in security triage, statistical machine-text detectors are the wrong instrument: they score provenance, not correctness, and human-written security reports are template-driven and low-perplexity, so they trip the same signal that flags machine text.
- When fine-tuning a base model on instruction data, removing from the training targets any factual claim the base model cannot consistently recall raises the supported-claim rate of later long-form generations, but the gain comes largely from a more conservative response policy — more refusals and fewer supported claims per answer — not from generating more correct facts at equal coverage.
- General-purpose factuality verifiers (entailment-, consistency-, and RAG-trained) and zero-shot frontier LLM judges perform near chance at spotting unsupported claims in scientific peer reviews that must be checked against the full submitted paper, because they cannot separate paper-unsupported assertions from legitimate evaluative critique; small models fine-tuned on in-domain examples beat them by a wide margin.
- Grounding generation in retrieved documents improves factual accuracy on knowledge-intensive tasks.
- In LLM-based ASR, steering decoding toward acoustic evidence only helps if candidates are first restricted to tokens within a small likelihood margin of the greedy token: unconstrained selection by an acoustic compatibility score removes hallucinated outputs but destroys transcription accuracy through unbounded insertions, while the constrained version removes a large share of hallucinations at near-zero WER/CER cost.
- Long-form biographies from strong models contain a substantial share of unsupported atomic facts, rising for less well-known subjects.
- Models reproduce common human misconceptions, and larger models were not more truthful on this benchmark.
- In multi-agent LLM systems where one agent starts with an erroneous shared belief, broadcasting every agent's full context at every step raises the rate of false assertions above doing no synchronization at all, because the error propagates to agents that were previously correct — and the harm appears only in tasks where one wrong fact cascades across semantically linked dimensions (destination to airport to weather), not where agent contexts are largely orthogonal.
- In open-weight 7-8B instruct models, a supervised detector built on how hidden states change between adjacent layers separates factually wrong from correct answers better than a probe on any single layer, and shuffling the layer order destroys most of the signal — so the ordering of the depth trajectory, not just the content of one layer, carries the information.
- On questions whose premises are false or internally contradictory, prompting mid-size instruct models (Qwen2.5-7B, LLaMA-3.1-8B, Gemma3-12B) to reason step by step can lower accuracy below plain answering, because the reasoning chain elaborates from the flawed premise instead of challenging it.
- In retrieval-augmented answers, splitting an answer into claims, checking each against the retrieved source, and then acting on the flagged claims reduces the share of answers judged to contain unsupported content — but the strategies trade grounding against preservation: deleting unsupported claims reduces unsupported content most while retaining the least original text, and rewriting retains the most while reducing least.
- Grounding answers in retrieved documents reduces unsupported generation but transfers the trust problem to the retrieval channel: whatever lands in context is treated as reliable, which shows up both as following instructions planted in retrieved content and as deferring to whichever account is better represented when sources disagree.
- When retrieval for a summarization task pulls definitions by surface term match from a general encyclopedia, ambiguous terms fetch the wrong sense and the model incorporates that unsupported background into its output, lowering claim-level factuality below the no-retrieval baseline even when the prompt tells it to ignore unrelated retrieved content.
- Surveys causes, kinds, and detection of hallucination across data, training, and inference, and finds no complete solution.
- Training a language model with differential privacy — whether DP-SGD pre-training or DP LoRA fine-tuning — makes it generate more false claims about facts in its training data than a non-private counterpart, and the effect grows as the privacy budget tightens, because per-example gradient clipping plus noise prevents low-frequency facts from being acquired at all while flattening the next-token distribution onto incorrect alternatives.
- WiseSpec: Requirements-Driven Agents for Code Generation
On repository-level issue-fixing tasks (SWE-bench Lite/Verified/Pro), spending effort upstream — expanding the issue text into a structured requirement spec from retrieved repo context, then testing and refining that spec via generated code and tests — raises resolve rate over agents that consume the raw issue description, and raises the share of patches that even apply cleanly by a larger margin than it raises correctness.
CapabilityKind / backingobservation · single-paperScope100 sampled instances per benchmark, DeepSeek-V3.2 and Qwen-Plus baselines against Agentless, Trae-agent and Claude Code; a single added run with Claude-Opus-4.8 on SWE-bench-Pro gave a much smaller gain (53% to 56%).Techniqueproposed: requirements-refinement-before-codingStance on what we holdneitherFalsifierA matched comparison where adding the requirement-construction and refinement stage leaves %Resolved unchanged or lower relative to the same agent given the raw issue text, or where the patch-application gain does not exceed the correctness gain.How well evidencedMeasured across 6 settings (3 benchmarks x 2 models) with a Wilcoxon signed-rank test; %Resolved gains 2-29%, %Applied gains 11-63%, so the applied-vs-resolved asymmetry is visible in the table. Compute per instance is not reported, so the comparison does not isolate extra inference budget from the requirements idea, and the stronger-model check is one benchmark with a 3-point gap.What this capability already holds (7)
- In agent pipelines that generate whole domain-specific ML codebases (medical imaging) from scratch, execution/assembly validation and domain knowledge bases fix different failures: removing runtime and assembly testing mainly costs autonomy (more human interventions to debug), while removing the curated domain knowledge base mainly costs output quality (syntactically fine but domain-inappropriate pipelines) with little change in intervention count.
- When a code-generation prompt combines a prompt-enforced output format (JSON or XML), a persona, and urgency framing at once, pass@1 on function-level Python problems can fall well below the sum of each constraint's individual effect, even when each constraint alone is neutral or helpful — observed in the GPT-4o family and absent in the GPT-4.1 family and o3-mini.
- For data-science Python tasks where several correct solutions differ by orders of magnitude in runtime, a model's correctness rate does not predict the efficiency of the code it writes: rankings invert between the two, code-specialized open models are less efficient than general open models of similar size class, and the fastest model rotates by library (NumPy vs Pandas vs PyTorch vs Polars).
- Grading generated code by whether it actually passes held-out functional tests, rather than by surface similarity to a reference solution, is what makes code generation gradeable at scale — and it's how the field has graded it since the earliest large benchmarks.
- On repository-level issue-fixing tasks (SWE-bench Lite/Verified/Pro), spending effort upstream — expanding the issue text into a structured requirement spec from retrieved repo context, then testing and refining that spec via generated code and tests — raises resolve rate over agents that consume the raw issue description, and raises the share of patches that even apply cleanly by a larger margin than it raises correctness.
- Static, fixed-problem coding benchmarks saturate and leak into training data over time, so getting an honest read on current code-generation ability requires a benchmark that continuously adds newly-published problems rather than reusing an older fixed set like HumanEval.
- In UI-to-code generation, where a rendered screenshot gives genuine external feedback, iterative self-critique still drifts below the initial draft over ten rounds, because a code edit changes the rendering non-locally and a fix for one region breaks regions that were already faithful; restricting each round to one typed, scoped repair target and carrying past targets forward as an avoid-list reduces that drift.
- Can Large Language Models Forecast What Researchers Study Next?
When research-idea forecasts are scored by whether a later paper matches them under an LLM judge rubric, higher scores partly reflect broader, less specific ideas: the backbone with the higher hit rate also produced measurably more general forecasts and had more retrieved candidate papers pass the gate, and tightening the specificity threshold does not separate the two.
CapabilityKind / backingmechanism · single-paperScopeOpen-ended generation scored by retrieve-then-judge matching against a future document stream; shown for GPT-4.1 vs Qwen2.5 backbones on 624 topic-cutoff episodes of arXiv cs.ML literature.Techniqueproposed: Outcome-blind generality rating alongside match-rate scoringStance on what we holdneitherFalsifierAn outcome-blind specificity rating that shows no association between forecast breadth and match rate, or a controlled intervention holding specificity fixed that reproduces the same score gap between backbones.How well evidencedMeasured: outcome-blind generality on 832 forecasts (one per topic per config), Qwen2.5-7B Summary generality 6.58 vs GPT-4.1 3.58; forecast-level match rate rises 0.205 to 0.406 from lowest to highest generality bin, correlation 0.17; passing candidates among ten retrieved 0.565 for GPT-4.1 vs 1.470/1.642 for Qwen2.5. Association only, no causal control; the authors say the S>=3 gate does not control intrinsic generality, and generality itself is rated by an LLM.What this capability already holds (10)
- When comparing a weight-shared recursive model against a depth-matched plain transformer on code generation, the ranking read from a single checkpoint can invert during training, because the larger-parameter arm passes its validation optimum and overfits while the parameter-lean recursive arm keeps improving — so a late-epoch "recursion fits better" reading is a degradation artifact, not a capability difference.
- When grading LLM-generated unit tests by pass rate and line coverage alone, a share of passing test suites never directly call the function under test — they reach it through wrappers, mocks, or unrelated public APIs — so pass rate overstates test quality, and this gap widens under agentic repository-access workflows and richer file-level context.
- A large share of an agent benchmark score is attributable to the harness around the model rather than the model itself: holding the model fixed and changing only guides, sensors, retries and state management is reported to move the same model from 30.9% to 74.6% on GAIA and 30th to 5th on Terminal Bench — so a score reported for "a model" on an agentic benchmark is a score for a model-plus-harness, and comparisons across labs with different harnesses are not comparisons of models.
- Reporting how much a lab's models are used in its own research — tokens, lines of code, inference compute, experiments per researcher — cannot show that the models are accelerating the research, because every one of those is an input. Establishing the loop needs an outcome variable over time: algorithmic efficiency as a function of capability, which is the edge that turns a pipeline into a feedback loop.
- On the best current calibration, AI is not yet accelerating its own development in a self-sustaining way: the modelled threshold is that a one-unit gain in model capability must buy at least 15% higher AI R&D productivity, and the back-of-envelope figure from reported engineer uplift since coding agents launched is about 9% — below it, but rising, so the gap is a current reading rather than a ceiling.
- On multi-turn tool-calling benchmarks that score whether the final environment state matches a gold trajectory, aggregate accuracy hides wrong action-class choices: a model can call a withheld or under-specified tool with fabricated arguments, be handed the missing piece on a later turn, and still be graded PASS — so heavily tool-trained model families rank high while almost never asking for a missing parameter or refusing an unavailable function.
- When research-idea forecasts are scored by whether a later paper matches them under an LLM judge rubric, higher scores partly reflect broader, less specific ideas: the backbone with the higher hit rate also produced measurably more general forecasts and had more retrieved candidate papers pass the gate, and tightening the specificity threshold does not separate the two.
- On span-level hallucination-detection leaderboards where absolute scores are low, bootstrap resampling of the test set moves top systems across wide rank intervals, so point-estimate ordering does not establish that one detector beats another.
- In synthetic hallucination benchmarks where faithful items are human-written and hallucinated items are LLM-rewrites, a detector's binary score partly measures human-vs-machine style rather than factuality: feeding faithful LLM rewrites of the same truthful articles makes some fine-tuned encoders flag nearly all of them as hallucinated.
- For training-free inference-time hallucination mitigation in 7B vision- language models, reported gains on object-hallucination benchmarks are largely inseparable from reduced informativeness: hallucination rate and object recall/coverage move together, so a lower score can mean the model mentioned fewer visual entities rather than grounded better.
- Compile, Don't Memorize: A Context Compilation Architecture (CCA) for In-Context Learning
On rubric-graded long-context tasks, most of the gain from a context-compilation harness comes from extracting the context's rules, exact terms and output spec into an explicit checklist placed in the prompt, not from the executable verifiers built on top of it — and the gain appears only on rule-dense tasks and on models with enough capacity, disappearing or reversing on open-ended tasks and on a small-activation model.
CapabilityKind / backingmechanism · single-paperScopeLong novel contexts (median 20K characters) graded against 5-20 all-or-nothing rubric criteria; four large open models; gains concentrated in rule/procedure-heavy categories and absent on open-ended creative and single-context tasks.TechniqueStance on what we holdsupports — Decomposing an instruction into explicit yes/no items and judging against them b…The ablation shows the checklist injection of extracted constraints is the largest single contributor (-3.07pp when removed of a +6.00pp total), with verifier execution alone worth about half a point.FalsifierAn ablation on other models or benchmarks where removing the verifier/correction loop costs more pass rate than removing the checklist injection, or where the checklist gives similar gains on open-ended tasks.How well evidencedAblation on 1,899 CL-bench tasks, one model (Kimi K2.5), temperature 0, single GPT-5.1 judge: full pipeline 21.40% vs vanilla 15.40%; removing checklist injection -3.07pp, removing correction loop -1.28pp, verifier execution alone ~0.53pp. Component isolation not repeated on the other three models. LongBench-v2 probe shows aggregate accuracy below vanilla, supporting the scope limit. Absolute pass rates are low throughout, so deltas are on a small base.What this capability already holds (7)
- Holding the task fixed and only lengthening the input degrades reasoning long before the context limit is reached.
- On multi-document question answering with GPT-3.5 Turbo's 16k-context variant, accuracy dropped by more than twenty points when the document containing the answer was moved from the start or end of the context to the middle, with nothing else about the task changed.
- Most models claiming long contexts fail well before their advertised length on synthetic retrieval, tracing and aggregation tasks.
- Performance on multi-document QA is highest when the answer is at the start or end of the context and drops sharply in the middle.
- Where a passage sits in a long input changes how much the model uses it — accuracy is highest when the needed information is at the very start or the very end and lowest when it is in the middle — so ordering retrieved passages to put the most relevant ones first is a real lever on accuracy.
- On rubric-graded long-context tasks, most of the gain from a context- compilation harness comes from extracting the context's rules, exact terms and output spec into an explicit checklist placed in the prompt, not from the executable verifiers built on top of it — and the gain appears only on rule-dense tasks and on models with enough capacity, disappearing or reversing on open-ended tasks and on a small-activation model.
- For safety guardrail classifiers, long-context failure is caused by proportional dilution of the unsafe evidence rather than by absolute input length: as the flagged span's share of the input shrinks, attention mass on it falls, the unsafe-minus-safe logit margin compresses, and unsafe recall collapses, while filling the same length with copies of the unsafe text leaves recall largely intact.
- Calibration is the Bottleneck: An Action-Class Diagnostic of Multi-Turn Tool-Calling
On multi-turn tool-calling benchmarks that score whether the final environment state matches a gold trajectory, aggregate accuracy hides wrong action-class choices: a model can call a withheld or under-specified tool with fabricated arguments, be handed the missing piece on a later turn, and still be graded PASS — so heavily tool-trained model families rank high while almost never asking for a missing parameter or refusing an unavailable function.
CapabilityKind / backingmechanism · single-paperScopeMulti-turn, state-graded tool benchmarks (BFCL v3 multi-turn, tau2-bench retail/airline) where the simulator supplies missing information on later turns; needs a per-category gold action class to compute the diagnostic.Techniqueproposed: Gold Action Recall alongside state-graded accuracyStance on what we holdneitherFalsifierCompute per-turn gold action class agreement on the same benchmarks and find it tracks state-graded accuracy — no cases where accuracy exceeds gold-action recall, and no family with high aggregate score and low ask/refuse emission.How well evidenced26 checkpoints (11 open-weight families, 4 closed anchors) on BFCL v3 multi-turn, 200 conversations per category, cross-checked on tau2-bench; xLAM-2-8b reported at 71.8% aggregate accuracy with 10% miss_func gold-action recall, and a 200-case audit (kappa 0.92) found 92.3% of its miss_func misses invoked the held-out function. Design shows the grader is blind to action class; it does not establish which training stage causes the miscalibration, and gold action classes come from benchmark design rather than a deployable detector.What this capability already holds (10)
- When comparing a weight-shared recursive model against a depth-matched plain transformer on code generation, the ranking read from a single checkpoint can invert during training, because the larger-parameter arm passes its validation optimum and overfits while the parameter-lean recursive arm keeps improving — so a late-epoch "recursion fits better" reading is a degradation artifact, not a capability difference.
- When grading LLM-generated unit tests by pass rate and line coverage alone, a share of passing test suites never directly call the function under test — they reach it through wrappers, mocks, or unrelated public APIs — so pass rate overstates test quality, and this gap widens under agentic repository-access workflows and richer file-level context.
- A large share of an agent benchmark score is attributable to the harness around the model rather than the model itself: holding the model fixed and changing only guides, sensors, retries and state management is reported to move the same model from 30.9% to 74.6% on GAIA and 30th to 5th on Terminal Bench — so a score reported for "a model" on an agentic benchmark is a score for a model-plus-harness, and comparisons across labs with different harnesses are not comparisons of models.
- Reporting how much a lab's models are used in its own research — tokens, lines of code, inference compute, experiments per researcher — cannot show that the models are accelerating the research, because every one of those is an input. Establishing the loop needs an outcome variable over time: algorithmic efficiency as a function of capability, which is the edge that turns a pipeline into a feedback loop.
- On the best current calibration, AI is not yet accelerating its own development in a self-sustaining way: the modelled threshold is that a one-unit gain in model capability must buy at least 15% higher AI R&D productivity, and the back-of-envelope figure from reported engineer uplift since coding agents launched is about 9% — below it, but rising, so the gap is a current reading rather than a ceiling.
- On multi-turn tool-calling benchmarks that score whether the final environment state matches a gold trajectory, aggregate accuracy hides wrong action-class choices: a model can call a withheld or under-specified tool with fabricated arguments, be handed the missing piece on a later turn, and still be graded PASS — so heavily tool-trained model families rank high while almost never asking for a missing parameter or refusing an unavailable function.
- When research-idea forecasts are scored by whether a later paper matches them under an LLM judge rubric, higher scores partly reflect broader, less specific ideas: the backbone with the higher hit rate also produced measurably more general forecasts and had more retrieved candidate papers pass the gate, and tightening the specificity threshold does not separate the two.
- On span-level hallucination-detection leaderboards where absolute scores are low, bootstrap resampling of the test set moves top systems across wide rank intervals, so point-estimate ordering does not establish that one detector beats another.
- In synthetic hallucination benchmarks where faithful items are human-written and hallucinated items are LLM-rewrites, a detector's binary score partly measures human-vs-machine style rather than factuality: feeding faithful LLM rewrites of the same truthful articles makes some fine-tuned encoders flag nearly all of them as hallucinated.
- For training-free inference-time hallucination mitigation in 7B vision- language models, reported gains on object-hallucination benchmarks are largely inseparable from reduced informativeness: hallucination rate and object recall/coverage move together, so a lower score can mean the model mentioned fewer visual entities rather than grounded better.
- Reliability Challenges in Diffusion Vision-Language Models
In diffusion vision-language models generating free-form captions, object tokens that are hallucinated commit at later denoising steps and with lower per-token confidence than grounded object tokens, so the commit-step trajectory is an available internal hallucination signal that has no counterpart in autoregressive decoding.
CapabilityKind / backingobservation · single-paperScopeTwo LaViDa backbones (LLaDA and Dream), 500 MSCOCO val2014 captions, 128 denoising steps, hallucination labelled by CHAIR object annotations.Techniqueproposed: Commit-step and confidence trajectory as a hallucination detectorStance on what we holdneitherFalsifierOn other diffusion VLMs or datasets, commit step for hallucinated object tokens is no later than for grounded ones, or ROC-AUC using commit step falls to chance.How well evidencedMeasured: mean commit step 63.8 vs 37.6 (LaViDa-L) and 64.3 vs 42.2 (LaViDa-D) on a 128-step budget; commit-step ROC-AUC 0.699 and 0.667, PR-AUC 0.374 and 0.261 against base rates 0.190 and 0.152, 5-fold cross-validated. Only two backbones, one dataset, one caption prompt. An attention-based analysis found no difference, so the mechanism behind the signal is not established.What this capability already holds (9)
- In 7-8B vision-language models, fine-tuning visual and text embeddings toward perturbation-averaged and ground-truth anchors before cross-modal contrastive alignment lowers object and attribute hallucination rates on captioning and existence benchmarks without reducing object coverage or general VQA accuracy.
- In 7B vision-language models that prune visual tokens during decoding for efficiency, hallucination rises as the generated caption gets longer, because pruning is irreversible and discards fine-grained evidence needed at later decoding steps; keeping the pruned tokens as a retrievable bank and pulling them back when next-token entropy spikes recovers the grounding without a second forward pass.
- For detecting ungrounded object mentions in open-ended captions from white-box vision-language models, a single internal support signal (token likelihood, attention share, or image-text similarity) confuses support that comes from object-specific image evidence with support that comes from scene plausibility or the generated text prefix; scoring both whether image tokens carry object-specific evidence and whether support is more image-derived than prefix-derived separates these and raises detection AUROC.
- In diffusion vision-language models generating free-form captions, object tokens that are hallucinated commit at later denoising steps and with lower per-token confidence than grounded object tokens, so the commit-step trajectory is an available internal hallucination signal that has no counterpart in autoregressive decoding.
- In LLaVA-1.5-7B captioning, restricting a LoRA adapter to attention heads picked by a hallucination diagnosis (attention-to-image drop around hallucinated object words, then ablation screening) reduces object hallucination, while an identically trained layer-matched random-head adapter does not — so the selection, not the added adapter capacity, carries the effect.
- When a multimodal model is asked an object-existence question over a set of images at once, it is less accurate than when the same images are queried one at a time and the answers combined, so cross-image integration adds errors beyond the per-image perception errors.
- In open-source vision-language models (LLaVA-1.5, Qwen-VL-Chat, Qwen2.5-VL, LLaVA-NeXT), a training-free decoding intervention that detects large layer-to-layer and step-to-step shifts in hidden states and nudges the diverging states back toward their prior value lowers object-hallucination rates, but the lower rate comes with fewer objects mentioned and shorter outputs.
- For short-answer object-existence questions in open multimodal models (LLaVA v1.5, MiniGPT-4, Qwen2.5-VL), object hallucination is driven partly by the visual encoder itself rather than only by language priors: hallucinated cases show lower image-text embedding similarity and inverted attention, and swapping in a weaker or noisier visual encoder lowers POPE accuracy while a stronger one raises it.
- For training-free inference-time hallucination interventions in 7B-class vision-language models, increasing intervention strength (finer regional evidence partitioning, longer attention-routing windows, stronger textual perturbation) keeps lowering CHAIR object-hallucination scores while producing empty or reduced-coverage responses, so lower hallucination numbers at high intervention strength partly reflect the model saying less rather than grounding better.
- InSight: A Benchmark for Agentic Claim Verification in Interactive Visualizations
When VLM agents must verify claims against interactive visualizations where no claim is answerable from the initial viewport, giving them an interaction budget of ten actions does not reliably beat answering immediately from the first screenshot — some models score slightly lower with interaction — because partial, unplanned exploration leaves the model with enough evidence to abandon its prior but not enough to replace it.
CapabilityKind / backingobservation · single-paperScopeScreenshot-only agents (no DOM), multi-view Vega-Lite notebooks, three-way True/False/NEI labels, 500-claim stratified subset; ablation run at budgets of 1, 10 and 25 actions for only three models.Techniqueproposed: Interaction Efficiency Score (accuracy weighted by fraction of actions that change the observed state)Stance on what we holdneitherFalsifierA comparable evaluation where the same models gain consistently in accuracy as soon as any interaction is allowed, with no non-monotonic dip at intermediate budgets.How well evidencedMeasured on 500 claims across fourteen model configurations. Gemini 3.5 Flash: 44.2% at one action, 41.6% at ten, 50.0% at twenty-five; Qwen 3.5 27B 46.2% vs 45.0%; Gemma 4 31B 45.4% vs 47.2%. Best overall was GPT-5.5 at 57.2% against a 33.3% chance baseline. The budget ablation covers only three models, and gaps are within a few points, so the dip is suggestive rather than established.What this capability already holds (7)
- Given several conflicting but equally legitimate passages, a model's answer is driven disproportionately by whichever passage comes first, and the skew sits in the representation of the combined prompt rather than in decoding — which is why reordering the passages does not remove it and why steering the activations does.
- When an LLM agent must reconcile user-supplied identity credentials against database records before a sensitive read or write, frontier and open models frequently skip the cross-field consistency check and act anyway, and the failure rate barely moves whether the request is simple or has several parallel sub-requests and whether the forged field is visually near-identical to the true one or completely unrelated.
- Models endorse widely held falsehoods, showing weak verification against what they know.
- Models readily adopt a single counter-memory passage when it is coherent, and when sources conflict they follow the majority and show confirmation bias toward their own beliefs.
- Training the model to decide when to retrieve and to critique whether passages support its output improves factuality and citation accuracy.
- When training small instruction-tuned models with reinforcement learning plus factual supervision, routing each atomic fact's verification score only to the tokens that produced it, and down-weighting verifier judgements that do not change when their key evidence is removed, improves factuality benchmark scores over trajectory-level or reasoning- step-level factual rewards.
- When VLM agents must verify claims against interactive visualizations where no claim is answerable from the initial viewport, giving them an interaction budget of ten actions does not reliably beat answering immediately from the first screenshot — some models score slightly lower with interaction — because partial, unplanned exploration leaves the model with enough evidence to abandon its prior but not enough to replace it.
- Harness Engineering in LLM Tool Use via Agent-Native Reusable Tool Primitives
When an agent must work over a very large tool catalogue, wrapping each tool in a natural-language interface that resolves the API schema internally — so raw schemas are retrieved on demand rather than enumerated in the model's prompt — contributes more to multi-step tool-call success than the surrounding planner, router, or verifier stages.
CapabilityKind / backingmechanism · single-paperScopeMulti-agent harness with an 8B backbone, over a repository of ~25.5k functions, evaluated on ToolBench and NESTFUL nested-call tasks; not tested with strong frontier backbones inside the harness.Techniqueproposed: Natural-language tool wrappers with on-demand schema retrievalStance on what we holdneitherFalsifierAn ablation on comparable benchmarks where removing the natural-language tool wrapper (exposing raw schemas plus retrieval) costs less than removing the verifier or planner, or where the wrapper gives no gain once tools are retrieved on demand.How well evidencedComponent ablation in one paper: removing ToolFace/Tool Primitives dropped ToolBench average pass rate from 75.1 to 16.1 and NESTFUL full-sequence accuracy from 0.44 to 0.06, larger than removing the verifier (47.6 / 0.15), planner, or router. Single system, single backbone; the ablation removes retrieval and the wrapper together, so it does not separate the two.What this capability already holds (14)
- Giving a coding agent a raw shell is worse than giving it a designed interface: SWE-agent's constrained Agent-Computer Interface — a file viewer windowed to 100 lines, a search tool that truncates large output, and an editor that lints before a change persists — roughly doubled SWE-bench resolution over raw shell access with the same model, because verbose output and unmanaged state are where the model loses its place.
- Across eight interactive environments, models fail mostly on long-horizon tool interaction, with open models far behind commercial ones.
- When an agent must work over a very large tool catalogue, wrapping each tool in a natural-language interface that resolves the API schema internally — so raw schemas are retrieved on demand rather than enumerated in the model's prompt — contributes more to multi-step tool- call success than the surrounding planner, router, or verifier stages.
- When a calculator-using model is trained with reinforcement learning on verifiable final-answer rewards for an arithmetic search task (Countdown), the gain lands almost entirely at low k — pass@1 rises sharply while pass@16 moves little or falls — because the update can only reinforce correct trajectories the starting policy already samples, and prompt groups with no correct sample supply no gradient.
- Fine-tuning on a large corpus of real API-call traces markedly improves multi-tool task completion in open models.
- A linear probe on a tool-calling model's hidden state at the last generated token detects incorrect tool-calls — including wrong-but-well-typed argument values that parsers and logs do not catch — and works better on larger models and at middle-to-late layers than at the final layer.
- For locally deployed open-weight models driving a stateful, dependency-ordered MCP tool server, cutting tool descriptions from full specifications (purpose, parameter semantics, constraints, failure conditions) down to one sentence each raises the fraction of calls the server rejects for every model tested, while its effect on task coverage is less consistent.
- Self-supervised training on tool-call examples teaches a model when and how to call simple tools, narrowing the gap on tasks that need them.
- Shows LLMs hallucinate API names and arguments when calling large API collections from memory, and that retrieving documentation reduces this.
- In simulated retail and airline domains with tools and policy documents, frontier models succeeded on well under two thirds of tasks and success dropped sharply when the same task had to be passed several times in a row.
- Worked examples in a tool description, long the standard way to teach tool use, can constrain a capable model to the exploration space the examples describe; Anthropic now advises designing expressive parameters instead — a status enumeration that implies its own usage rather than a demonstration of it.
- The large reported gains from fine-tuning on tool-call trajectories come from small open models starting far behind — distilling a few hundred trajectories from a stronger model moves them a long way. Whether the same procedure helps a model that is already good at tool use is a separate question this evidence does not answer.
- In simulated retail customer-support tasks with real tools and policy documents, GPT-4o — the best performer in the study — still completed well under two-thirds of tasks correctly, and its rate of passing the identical task eight times in a row (a proxy for production reliability) was far lower than its single-attempt success rate.
- Used zero-shot as step-level action critics in long-horizon tool-calling tasks, frontier models are over-pessimistic — flagging a large share of correct actions and pushing the actor into revision loops that lower success below no critic at all — whereas small models fine-tuned on action-level verification rationales flag far fewer valid actions and raise repeated-run reliability.
- CAPTURE: Disentangling Preference Drift from Memory Poisoning in Personalized LLM Agents
For persistent-memory agents, any memory-write rule that decides using only recency and provenance is stuck on a single tradeoff — accepting more genuine preference updates means admitting more poisoned ones — because an adversary who can launder a claim through the user's own channel matches the statistics a genuine revision produces; conditioning the write decision on the inferred authenticity of the claim given the interaction history moves both axes at once.
CapabilityKind / backingmechanism · single-paperScopePersonalized agents with persistent cross-session memory where retrieved documents, shared files, or tool outputs can be written into the user model; holds against a fixed attacker, and the advantage over a provenance filter is not separated under an attacker adapting against released weights.Techniqueproposed: Latent-authenticity gate for memory writesStance on what we holdneitherFalsifierA memory policy reading only recency and provenance that matches or beats a history-conditioned authenticity gate on both genuine-update adherence and poisoning resistance, including on same-origin (user-pasted) contamination.How well evidencedArgued as a decision-theoretic lower bound plus measured on 480 held-out synthetic episodes from 96 users: provenance-only 20.0% poisoning / 74.1% adherence, recency RAG 51.6% / 85.7%, proposed gate 11.5% / 83.5%; provenance-only collapses to 43.6% on same-origin contamination vs 17.5%. A supervision-matched Transformer baseline reaches 69.3% win / 15.9% poisoning, so most of the gain is supervised temporal tracking rather than the specific architecture. Benchmark is generated by the authors; partial transfer shown zero-shot on an external benchmark and 40-user replay, but the replayed attacks are author-constructed. Under an adaptive attacker poisoning rises to 24.7%, not separated from provenance-only's 22.1%.What this capability already holds (8)
- Commercial assistants show a large accuracy drop when the relevant information sits in a long interaction history, especially for updates and multi-session reasoning.
- A memory stream with retrieval and reflection lets agents behave consistently over simulated days.
- For persistent-memory agents, any memory-write rule that decides using only recency and provenance is stuck on a single tradeoff — accepting more genuine preference updates means admitting more poisoned ones — because an adversary who can launder a claim through the user's own channel matches the statistics a genuine revision produces; conditioning the write decision on the inferred authenticity of the claim given the interaction history moves both axes at once.
- When the preference needed to answer a query lies in a different concept space from the cues in a user's dialogue history (e.g. inferring an emotion-regulation strategy from personality cues), retrieval-based and profile-summarization personalization methods barely beat a no-history baseline, and dumping the full history into the prompt does worse than no history at all.
- A running summary buys continuity across a long conversation at the cost of specifics, because it is lossy compression by construction — so it helps with "what were we doing" and not with "what exactly did I say in turn 40." Keeping the raw turns retrievable alongside the summary covers the second case.
- Recursively summarizing the dialogue into a running memory improves consistency in long conversations.
- When a structured long-term memory substrate (indexes, retrieval, control logic) is held fixed and only the backbone LLM is swapped, accuracy on multi-session memory benchmarks like LongMemEval and LoCoMo moves by a few points while per-query cost varies by roughly an order of magnitude, so recall quality in these settings is set mostly by the memory and retrieval design rather than by model choice.
- A tiered memory system managed by the model itself sustains recall over conversations far longer than the context window.
- Improving Health Literacy through Lay Summarization of Radiological Reports: An Evaluation of BioNER and Retrieval-Augmented Generation
When retrieval for a summarization task pulls definitions by surface term match from a general encyclopedia, ambiguous terms fetch the wrong sense and the model incorporates that unsupported background into its output, lowering claim-level factuality below the no-retrieval baseline even when the prompt tells it to ignore unrelated retrieved content.
CapabilityKind / backingmechanism · single-paperScopeRadiology-report lay summarization with a small general model (Qwen3.5-0.8B) and BioBART-v2-large, retrieval via Wikipedia API first-sentence definitions for terms extracted from the report; few-shot and LoRA fine-tuned settings.Stance on what we holdsupports — Grounding answers in retrieved documents reduces unsupported generation but tran…Retrieved definitions were treated as reliable context and injected unsupported content, so grounding shifted the failure into the retrieval channel rather than removing it.FalsifierSame pipeline with the same surface-form retrieval showing claim-level factuality (FENICE/SummaC) at or above the no-retrieval baseline, or showing that the factuality drop persists when the retrieved definitions are all sense-correct.How well evidencedOne paper, 5,000 held-out radiology reports, nine metrics. FENICE fell versus baseline with RAG for both models in few-shot and fine-tuned settings; authors attribute this to manual inspection of wrong-sense Wikipedia matches. Sense ambiguity is diagnosed qualitatively, not isolated by an experiment holding retrieval quality fixed.What this capability already holds (22)
- A ~2M-parameter classifier head that reads hidden states already computed during generation (tapping shallow, middle and deep layers of the generating model) detects response-level hallucination at least as well as specialized hidden-state hallucination detectors, and its detection quality rises with the scale of the base model it is attached to.
- Accuracy on a fact scales with how many pretraining documents mention it, so long-tail facts are systematically unreliable.
- For black-box hallucination detection using only sampled responses and token log-probabilities, semantic-entropy signals go to zero whenever the samples collapse into one semantic cluster — which happens for a large share of hallucinated queries, up to nearly all of them on tasks with confusable entities and figures — while token-level uncertainty still separates many of those cases, so the two signals fail on different queries and combining them detects more than either alone.
- For closed-book hallucination detection, training a small supervised classifier over many heterogeneous uncertainty scores beats the best single score, but the gain comes from the diversity of sampling-based black-box signals: ensembles over only single-generation token-probability features add little, while black-box-only ensembles do nearly as well as the full set.
- On code prompts that are unsatisfiable by design, open-weight code and reasoning models refuse based on how suspicious the request looks rather than how deeply impossible it is: they refuse famous theoretical impossibilities far more often than requests for plausible-sounding nonexistent packages, and the stronger models in the set close the gap on theory while barely improving on fabricated ecosystem entities.
- Decomposing long answers into atomic facts and checking each with search catches most errors and beats human annotators on cost and agreement.
- For detecting hallucinated text spans in vision-language model outputs, span localization and confidence calibration come from different architectures: a fine-tuned generative VLM proposes better span boundaries but scores them poorly, while a discriminative token tagger trained with a direct regression loss on human-consensus confidence gives better-correlated probabilities but conservative spans, so using the generative spans as proposals and the tagger's probabilities as scores beats either alone.
- For filtering unsupported LLM-generated vulnerability reports in security triage, statistical machine-text detectors are the wrong instrument: they score provenance, not correctness, and human-written security reports are template-driven and low-perplexity, so they trip the same signal that flags machine text.
- When fine-tuning a base model on instruction data, removing from the training targets any factual claim the base model cannot consistently recall raises the supported-claim rate of later long-form generations, but the gain comes largely from a more conservative response policy — more refusals and fewer supported claims per answer — not from generating more correct facts at equal coverage.
- General-purpose factuality verifiers (entailment-, consistency-, and RAG-trained) and zero-shot frontier LLM judges perform near chance at spotting unsupported claims in scientific peer reviews that must be checked against the full submitted paper, because they cannot separate paper-unsupported assertions from legitimate evaluative critique; small models fine-tuned on in-domain examples beat them by a wide margin.
- Grounding generation in retrieved documents improves factual accuracy on knowledge-intensive tasks.
- In LLM-based ASR, steering decoding toward acoustic evidence only helps if candidates are first restricted to tokens within a small likelihood margin of the greedy token: unconstrained selection by an acoustic compatibility score removes hallucinated outputs but destroys transcription accuracy through unbounded insertions, while the constrained version removes a large share of hallucinations at near-zero WER/CER cost.
- Long-form biographies from strong models contain a substantial share of unsupported atomic facts, rising for less well-known subjects.
- Models reproduce common human misconceptions, and larger models were not more truthful on this benchmark.
- In multi-agent LLM systems where one agent starts with an erroneous shared belief, broadcasting every agent's full context at every step raises the rate of false assertions above doing no synchronization at all, because the error propagates to agents that were previously correct — and the harm appears only in tasks where one wrong fact cascades across semantically linked dimensions (destination to airport to weather), not where agent contexts are largely orthogonal.
- In open-weight 7-8B instruct models, a supervised detector built on how hidden states change between adjacent layers separates factually wrong from correct answers better than a probe on any single layer, and shuffling the layer order destroys most of the signal — so the ordering of the depth trajectory, not just the content of one layer, carries the information.
- On questions whose premises are false or internally contradictory, prompting mid-size instruct models (Qwen2.5-7B, LLaMA-3.1-8B, Gemma3-12B) to reason step by step can lower accuracy below plain answering, because the reasoning chain elaborates from the flawed premise instead of challenging it.
- In retrieval-augmented answers, splitting an answer into claims, checking each against the retrieved source, and then acting on the flagged claims reduces the share of answers judged to contain unsupported content — but the strategies trade grounding against preservation: deleting unsupported claims reduces unsupported content most while retaining the least original text, and rewriting retains the most while reducing least.
- Grounding answers in retrieved documents reduces unsupported generation but transfers the trust problem to the retrieval channel: whatever lands in context is treated as reliable, which shows up both as following instructions planted in retrieved content and as deferring to whichever account is better represented when sources disagree.
- When retrieval for a summarization task pulls definitions by surface term match from a general encyclopedia, ambiguous terms fetch the wrong sense and the model incorporates that unsupported background into its output, lowering claim-level factuality below the no-retrieval baseline even when the prompt tells it to ignore unrelated retrieved content.
- Surveys causes, kinds, and detection of hallucination across data, training, and inference, and finds no complete solution.
- Training a language model with differential privacy — whether DP-SGD pre-training or DP LoRA fine-tuning — makes it generate more false claims about facts in its training data than a non-private counterpart, and the effect grows as the privacy budget tightens, because per-example gradient clipping plus noise prevents low-frequency facts from being acquired at all while flattening the next-token distribution onto incorrect alternatives.
- From Tokens to Semantics: Leveraging Complementary Signals for Hallucination Detection in Black-Box LLMs
For black-box hallucination detection using only sampled responses and token log-probabilities, semantic-entropy signals go to zero whenever the samples collapse into one semantic cluster — which happens for a large share of hallucinated queries, up to nearly all of them on tasks with confusable entities and figures — while token-level uncertainty still separates many of those cases, so the two signals fail on different queries and combining them detects more than either alone.
CapabilityKind / backingmechanism · single-paperScopeBlack-box API access exposing text and token log-probabilities, no trusted reference document; measured on seven QA/extraction/summary benchmarks with four models. Supervised combination requires labelled target-domain data; neither signal catches hallucinations that are both semantically consistent and generated with high token confidence.Techniqueproposed: Stacked semantic-plus-token hallucination detectorStance on what we holdneitherFalsifierShow that on single-semantic-cluster hallucinated queries token-uncertainty features give no separation above chance, or that a combined detector never beats the better single signal across datasets and models.How well evidencedMeasured: single-cluster rate among hallucinated queries ranged 39% (AmbigQA) to 99% (Financial Summaries); median TopK uncertainty higher for hallucinated single-cluster queries on six of seven datasets, though 21-56% of them fell below the non-hallucinated median. Stacked led or tied in 11 of 26 model-dataset comparisons and was within 0.05 AUROC of the best in 20 of 26. Authors note the leading method's confidence interval overlaps a competitor on every dataset, so rankings among methods are not conclusive; the complementarity analysis is stronger than the ranking.What this capability already holds (22)
- A ~2M-parameter classifier head that reads hidden states already computed during generation (tapping shallow, middle and deep layers of the generating model) detects response-level hallucination at least as well as specialized hidden-state hallucination detectors, and its detection quality rises with the scale of the base model it is attached to.
- Accuracy on a fact scales with how many pretraining documents mention it, so long-tail facts are systematically unreliable.
- For black-box hallucination detection using only sampled responses and token log-probabilities, semantic-entropy signals go to zero whenever the samples collapse into one semantic cluster — which happens for a large share of hallucinated queries, up to nearly all of them on tasks with confusable entities and figures — while token-level uncertainty still separates many of those cases, so the two signals fail on different queries and combining them detects more than either alone.
- For closed-book hallucination detection, training a small supervised classifier over many heterogeneous uncertainty scores beats the best single score, but the gain comes from the diversity of sampling-based black-box signals: ensembles over only single-generation token-probability features add little, while black-box-only ensembles do nearly as well as the full set.
- On code prompts that are unsatisfiable by design, open-weight code and reasoning models refuse based on how suspicious the request looks rather than how deeply impossible it is: they refuse famous theoretical impossibilities far more often than requests for plausible-sounding nonexistent packages, and the stronger models in the set close the gap on theory while barely improving on fabricated ecosystem entities.
- Decomposing long answers into atomic facts and checking each with search catches most errors and beats human annotators on cost and agreement.
- For detecting hallucinated text spans in vision-language model outputs, span localization and confidence calibration come from different architectures: a fine-tuned generative VLM proposes better span boundaries but scores them poorly, while a discriminative token tagger trained with a direct regression loss on human-consensus confidence gives better-correlated probabilities but conservative spans, so using the generative spans as proposals and the tagger's probabilities as scores beats either alone.
- For filtering unsupported LLM-generated vulnerability reports in security triage, statistical machine-text detectors are the wrong instrument: they score provenance, not correctness, and human-written security reports are template-driven and low-perplexity, so they trip the same signal that flags machine text.
- When fine-tuning a base model on instruction data, removing from the training targets any factual claim the base model cannot consistently recall raises the supported-claim rate of later long-form generations, but the gain comes largely from a more conservative response policy — more refusals and fewer supported claims per answer — not from generating more correct facts at equal coverage.
- General-purpose factuality verifiers (entailment-, consistency-, and RAG-trained) and zero-shot frontier LLM judges perform near chance at spotting unsupported claims in scientific peer reviews that must be checked against the full submitted paper, because they cannot separate paper-unsupported assertions from legitimate evaluative critique; small models fine-tuned on in-domain examples beat them by a wide margin.
- Grounding generation in retrieved documents improves factual accuracy on knowledge-intensive tasks.
- In LLM-based ASR, steering decoding toward acoustic evidence only helps if candidates are first restricted to tokens within a small likelihood margin of the greedy token: unconstrained selection by an acoustic compatibility score removes hallucinated outputs but destroys transcription accuracy through unbounded insertions, while the constrained version removes a large share of hallucinations at near-zero WER/CER cost.
- Long-form biographies from strong models contain a substantial share of unsupported atomic facts, rising for less well-known subjects.
- Models reproduce common human misconceptions, and larger models were not more truthful on this benchmark.
- In multi-agent LLM systems where one agent starts with an erroneous shared belief, broadcasting every agent's full context at every step raises the rate of false assertions above doing no synchronization at all, because the error propagates to agents that were previously correct — and the harm appears only in tasks where one wrong fact cascades across semantically linked dimensions (destination to airport to weather), not where agent contexts are largely orthogonal.
- In open-weight 7-8B instruct models, a supervised detector built on how hidden states change between adjacent layers separates factually wrong from correct answers better than a probe on any single layer, and shuffling the layer order destroys most of the signal — so the ordering of the depth trajectory, not just the content of one layer, carries the information.
- On questions whose premises are false or internally contradictory, prompting mid-size instruct models (Qwen2.5-7B, LLaMA-3.1-8B, Gemma3-12B) to reason step by step can lower accuracy below plain answering, because the reasoning chain elaborates from the flawed premise instead of challenging it.
- In retrieval-augmented answers, splitting an answer into claims, checking each against the retrieved source, and then acting on the flagged claims reduces the share of answers judged to contain unsupported content — but the strategies trade grounding against preservation: deleting unsupported claims reduces unsupported content most while retaining the least original text, and rewriting retains the most while reducing least.
- Grounding answers in retrieved documents reduces unsupported generation but transfers the trust problem to the retrieval channel: whatever lands in context is treated as reliable, which shows up both as following instructions planted in retrieved content and as deferring to whichever account is better represented when sources disagree.
- When retrieval for a summarization task pulls definitions by surface term match from a general encyclopedia, ambiguous terms fetch the wrong sense and the model incorporates that unsupported background into its output, lowering claim-level factuality below the no-retrieval baseline even when the prompt tells it to ignore unrelated retrieved content.
- Surveys causes, kinds, and detection of hallucination across data, training, and inference, and finds no complete solution.
- Training a language model with differential privacy — whether DP-SGD pre-training or DP LoRA fine-tuning — makes it generate more false claims about facts in its training data than a non-private counterpart, and the effect grows as the privacy budget tightens, because per-example gradient clipping plus noise prevents low-frequency facts from being acquired at all while flattening the next-token distribution onto incorrect alternatives.
- RVSD: Retrieval Vision Sparse Decoding for Mitigating Visual Hallucinations in Large Vision-Language Models
In 7B vision-language models that prune visual tokens during decoding for efficiency, hallucination rises as the generated caption gets longer, because pruning is irreversible and discards fine-grained evidence needed at later decoding steps; keeping the pruned tokens as a retrievable bank and pulling them back when next-token entropy spikes recovers the grounding without a second forward pass.
CapabilityKind / backingmechanism · single-paperScope7B LLaVA-1.5, LLaVA-NEXT and Qwen-VL with training-free decoding-time sparsification; open-ended captioning benchmarks (CHAIR, AMBER) and discriminative probes (POPE, MME).Techniqueproposed: Deferred visual token bank with uncertainty-triggered retrievalStance on what we holdneitherFalsifierShow that a sparse decoder's hallucination rate does not grow with generation length, or that restoring pruned visual tokens on demand gives no CHAIR/HalRate improvement over the same sparsifier without restoration at matched caption length and recall.How well evidencedMeasured across five benchmarks and three 7B backbones against training-free baselines (VCD, M3ID, VTI, AvisC); component ablation on MME shows removing the retrieval module causes the largest drop. Length-dependence of sparse-decoder hallucination is shown only via one figure on one prior method (VASparse). Caption Recall falls on LLaVA-1.5 (77.3 to 74.4) while CHAIR improves, so part of the gain there may be reduced informativeness; on LLaVA-NEXT recall rises.What this capability already holds (9)
- In 7-8B vision-language models, fine-tuning visual and text embeddings toward perturbation-averaged and ground-truth anchors before cross-modal contrastive alignment lowers object and attribute hallucination rates on captioning and existence benchmarks without reducing object coverage or general VQA accuracy.
- In 7B vision-language models that prune visual tokens during decoding for efficiency, hallucination rises as the generated caption gets longer, because pruning is irreversible and discards fine-grained evidence needed at later decoding steps; keeping the pruned tokens as a retrievable bank and pulling them back when next-token entropy spikes recovers the grounding without a second forward pass.
- For detecting ungrounded object mentions in open-ended captions from white-box vision-language models, a single internal support signal (token likelihood, attention share, or image-text similarity) confuses support that comes from object-specific image evidence with support that comes from scene plausibility or the generated text prefix; scoring both whether image tokens carry object-specific evidence and whether support is more image-derived than prefix-derived separates these and raises detection AUROC.
- In diffusion vision-language models generating free-form captions, object tokens that are hallucinated commit at later denoising steps and with lower per-token confidence than grounded object tokens, so the commit-step trajectory is an available internal hallucination signal that has no counterpart in autoregressive decoding.
- In LLaVA-1.5-7B captioning, restricting a LoRA adapter to attention heads picked by a hallucination diagnosis (attention-to-image drop around hallucinated object words, then ablation screening) reduces object hallucination, while an identically trained layer-matched random-head adapter does not — so the selection, not the added adapter capacity, carries the effect.
- When a multimodal model is asked an object-existence question over a set of images at once, it is less accurate than when the same images are queried one at a time and the answers combined, so cross-image integration adds errors beyond the per-image perception errors.
- In open-source vision-language models (LLaVA-1.5, Qwen-VL-Chat, Qwen2.5-VL, LLaVA-NeXT), a training-free decoding intervention that detects large layer-to-layer and step-to-step shifts in hidden states and nudges the diverging states back toward their prior value lowers object-hallucination rates, but the lower rate comes with fewer objects mentioned and shorter outputs.
- For short-answer object-existence questions in open multimodal models (LLaVA v1.5, MiniGPT-4, Qwen2.5-VL), object hallucination is driven partly by the visual encoder itself rather than only by language priors: hallucinated cases show lower image-text embedding similarity and inverted attention, and swapping in a weaker or noisier visual encoder lowers POPE accuracy while a stronger one raises it.
- For training-free inference-time hallucination interventions in 7B-class vision-language models, increasing intervention strength (finer regional evidence partitioning, longer attention-routing windows, stronger textual perturbation) keeps lowering CHAIR object-hallucination scores while producing empty or reduced-coverage responses, so lower hallucination numbers at high intervention strength partly reflect the model saying less rather than grounding better.
- Large Language Models in Resolving Contextual Knowledge Conflicts
When a prompt contains several legitimate but conflicting evidence passages, models internally register the conflict — linear probes on mid-to-late-layer hidden states separate conflicting from consistent inputs at high AUC — while still resolving the conflict badly at the output, so the failure is in evidence integration rather than in conflict detection.
CapabilityKind / backingmechanism · single-paperScopeMeasured on open-weight models where activations are accessible (Llama-3.1-8B-Instruct, GPT-OSS-20B); output-level failure measured across seven models from 8B to 120B on a multi-domain conflict dataset of reasoning and summarization tasks.Techniqueproposed: neutral-center activation steering for evidence integrationStance on what we holdsupports — Given several conflicting but equally legitimate passages, a model's answer is d…The paper finds combined-evidence activations shift toward the first evidence at every layer, that random reordering does not remove the dominance, and that steering activations toward the neutral center improves accuracy.FalsifierShow that probes cannot separate conflicting from consistent inputs above chance in models that nonetheless resolve conflicts well, or that probe separability tracks conflict-resolution accuracy across models and conflict types.How well evidencedLayer-wise logistic-regression probes on paired conflict/consistent inputs give AUC above 0.85 in mid-to-late layers for most of six conflict types, replicated on a second architecture; same models score below 50% on inferential conflicts and show Gini imbalance in summarization. The dissociation is argued from two separate measurements, not from a single controlled manipulation, and probe separability may reflect surface cues rather than functional awareness.What this capability already holds (7)
- Given several conflicting but equally legitimate passages, a model's answer is driven disproportionately by whichever passage comes first, and the skew sits in the representation of the combined prompt rather than in decoding — which is why reordering the passages does not remove it and why steering the activations does.
- When an LLM agent must reconcile user-supplied identity credentials against database records before a sensitive read or write, frontier and open models frequently skip the cross-field consistency check and act anyway, and the failure rate barely moves whether the request is simple or has several parallel sub-requests and whether the forged field is visually near-identical to the true one or completely unrelated.
- Models endorse widely held falsehoods, showing weak verification against what they know.
- Models readily adopt a single counter-memory passage when it is coherent, and when sources conflict they follow the majority and show confirmation bias toward their own beliefs.
- Training the model to decide when to retrieve and to critique whether passages support its output improves factuality and citation accuracy.
- When training small instruction-tuned models with reinforcement learning plus factual supervision, routing each atomic fact's verification score only to the tokens that produced it, and down-weighting verifier judgements that do not change when their key evidence is removed, improves factuality benchmark scores over trajectory-level or reasoning- step-level factual rewards.
- When VLM agents must verify claims against interactive visualizations where no claim is answerable from the initial viewport, giving them an interaction budget of ten actions does not reliably beat answering immediately from the first screenshot — some models score slightly lower with interaction — because partial, unplanned exploration leaves the model with enough evidence to abandon its prior but not enough to replace it.
- Compound Prompt Constraints in LLM Code Generation: A Factorial Study of Format, Persona, and Urgency
When a code-generation prompt combines a prompt-enforced output format (JSON or XML), a persona, and urgency framing at once, pass@1 on function-level Python problems can fall well below the sum of each constraint's individual effect, even when each constraint alone is neutral or helpful — observed in the GPT-4o family and absent in the GPT-4.1 family and o3-mini.
CapabilityKind / backingobservation · single-paperScope164 HumanEval+ problems, greedy decoding, five OpenAI models; format enforced by prompt instruction rather than API-level constrained decoding; prompt length confounded with constraint countTechniqueproposed: Factorial compound-prompt reliability testingStance on what we holdneitherFalsifierA factorial replication on other models and benchmarks where triple-constraint pass@1 matches the additive prediction within noise, or where the GPT-4o-family gaps vanish once prompt-token length is held constant.How well evidenced22,140 evaluations across 27 conditions and 5 models; interaction computed as residual against an additive main-effect prediction, with McNemar paired tests (e.g., OR 3.67, p=0.004 for best single vs worst triple on GPT-4o-mini). Single benchmark, single vendor, one sample per condition; token-length confound acknowledged by the authors and not isolated.What this capability already holds (7)
- In agent pipelines that generate whole domain-specific ML codebases (medical imaging) from scratch, execution/assembly validation and domain knowledge bases fix different failures: removing runtime and assembly testing mainly costs autonomy (more human interventions to debug), while removing the curated domain knowledge base mainly costs output quality (syntactically fine but domain-inappropriate pipelines) with little change in intervention count.
- When a code-generation prompt combines a prompt-enforced output format (JSON or XML), a persona, and urgency framing at once, pass@1 on function-level Python problems can fall well below the sum of each constraint's individual effect, even when each constraint alone is neutral or helpful — observed in the GPT-4o family and absent in the GPT-4.1 family and o3-mini.
- For data-science Python tasks where several correct solutions differ by orders of magnitude in runtime, a model's correctness rate does not predict the efficiency of the code it writes: rankings invert between the two, code-specialized open models are less efficient than general open models of similar size class, and the fastest model rotates by library (NumPy vs Pandas vs PyTorch vs Polars).
- Grading generated code by whether it actually passes held-out functional tests, rather than by surface similarity to a reference solution, is what makes code generation gradeable at scale — and it's how the field has graded it since the earliest large benchmarks.
- On repository-level issue-fixing tasks (SWE-bench Lite/Verified/Pro), spending effort upstream — expanding the issue text into a structured requirement spec from retrieved repo context, then testing and refining that spec via generated code and tests — raises resolve rate over agents that consume the raw issue description, and raises the share of patches that even apply cleanly by a larger margin than it raises correctness.
- Static, fixed-problem coding benchmarks saturate and leak into training data over time, so getting an honest read on current code-generation ability requires a benchmark that continuously adds newly-published problems rather than reusing an older fixed set like HumanEval.
- In UI-to-code generation, where a rendered screenshot gives genuine external feedback, iterative self-critique still drifts below the initial draft over ten rounds, because a code edit changes the rendering non-locally and a fix for one region breaks regions that were already faithful; restricting each round to one typed, scoped repair target and carrying past targets forward as an avoid-list reduces that drift.
- Refusing the Impossible: A Taxonomy and Benchmark for Code Hallucination in Large Language Models
On code prompts that are unsatisfiable by design, open-weight code and reasoning models refuse based on how suspicious the request looks rather than how deeply impossible it is: they refuse famous theoretical impossibilities far more often than requests for plausible-sounding nonexistent packages, and the stronger models in the set close the gap on theory while barely improving on fabricated ecosystem entities.
CapabilityKind / backingobservation · single-paperScopeTwelve open-weight code/reasoning models (7B-32B), 270 adversarial unsatisfiable prompts across six languages plus 91 matched solvable controls, temperature 0, graded by a two-tier judge validated against 138 human labels.Techniqueproposed: Unsatisfiable-task refusal benchmark with matched solvable controlsStance on what we holdneitherFalsifierA model set where refusal rates on plausible fabricated package prompts equal or exceed those on abstract theoretical-impossibility prompts, or where higher-capability models improve on both classes at similar rates.How well evidencedMeasured: aggregate hallucination rate 0.60 and refusal 0.27 on adversarial prompts, 0% over-refusal on controls. Subcategory gradient from 0.98 (nonexistent npm) down to 0.08 (modified classics). Top-4 vs bottom-4 models: theory subcategories 0.23 vs 0.82, plausible-entity 0.87 vs 0.98. Prompt identity explained more outcome variance than model identity. Only open-weight models tested; no frontier commercial models, so the capability trend is extrapolated within a narrow band. Framing and per-ecosystem comparisons are observational, not fully crossed.What this capability already holds (22)
- A ~2M-parameter classifier head that reads hidden states already computed during generation (tapping shallow, middle and deep layers of the generating model) detects response-level hallucination at least as well as specialized hidden-state hallucination detectors, and its detection quality rises with the scale of the base model it is attached to.
- Accuracy on a fact scales with how many pretraining documents mention it, so long-tail facts are systematically unreliable.
- For black-box hallucination detection using only sampled responses and token log-probabilities, semantic-entropy signals go to zero whenever the samples collapse into one semantic cluster — which happens for a large share of hallucinated queries, up to nearly all of them on tasks with confusable entities and figures — while token-level uncertainty still separates many of those cases, so the two signals fail on different queries and combining them detects more than either alone.
- For closed-book hallucination detection, training a small supervised classifier over many heterogeneous uncertainty scores beats the best single score, but the gain comes from the diversity of sampling-based black-box signals: ensembles over only single-generation token-probability features add little, while black-box-only ensembles do nearly as well as the full set.
- On code prompts that are unsatisfiable by design, open-weight code and reasoning models refuse based on how suspicious the request looks rather than how deeply impossible it is: they refuse famous theoretical impossibilities far more often than requests for plausible-sounding nonexistent packages, and the stronger models in the set close the gap on theory while barely improving on fabricated ecosystem entities.
- Decomposing long answers into atomic facts and checking each with search catches most errors and beats human annotators on cost and agreement.
- For detecting hallucinated text spans in vision-language model outputs, span localization and confidence calibration come from different architectures: a fine-tuned generative VLM proposes better span boundaries but scores them poorly, while a discriminative token tagger trained with a direct regression loss on human-consensus confidence gives better-correlated probabilities but conservative spans, so using the generative spans as proposals and the tagger's probabilities as scores beats either alone.
- For filtering unsupported LLM-generated vulnerability reports in security triage, statistical machine-text detectors are the wrong instrument: they score provenance, not correctness, and human-written security reports are template-driven and low-perplexity, so they trip the same signal that flags machine text.
- When fine-tuning a base model on instruction data, removing from the training targets any factual claim the base model cannot consistently recall raises the supported-claim rate of later long-form generations, but the gain comes largely from a more conservative response policy — more refusals and fewer supported claims per answer — not from generating more correct facts at equal coverage.
- General-purpose factuality verifiers (entailment-, consistency-, and RAG-trained) and zero-shot frontier LLM judges perform near chance at spotting unsupported claims in scientific peer reviews that must be checked against the full submitted paper, because they cannot separate paper-unsupported assertions from legitimate evaluative critique; small models fine-tuned on in-domain examples beat them by a wide margin.
- Grounding generation in retrieved documents improves factual accuracy on knowledge-intensive tasks.
- In LLM-based ASR, steering decoding toward acoustic evidence only helps if candidates are first restricted to tokens within a small likelihood margin of the greedy token: unconstrained selection by an acoustic compatibility score removes hallucinated outputs but destroys transcription accuracy through unbounded insertions, while the constrained version removes a large share of hallucinations at near-zero WER/CER cost.
- Long-form biographies from strong models contain a substantial share of unsupported atomic facts, rising for less well-known subjects.
- Models reproduce common human misconceptions, and larger models were not more truthful on this benchmark.
- In multi-agent LLM systems where one agent starts with an erroneous shared belief, broadcasting every agent's full context at every step raises the rate of false assertions above doing no synchronization at all, because the error propagates to agents that were previously correct — and the harm appears only in tasks where one wrong fact cascades across semantically linked dimensions (destination to airport to weather), not where agent contexts are largely orthogonal.
- In open-weight 7-8B instruct models, a supervised detector built on how hidden states change between adjacent layers separates factually wrong from correct answers better than a probe on any single layer, and shuffling the layer order destroys most of the signal — so the ordering of the depth trajectory, not just the content of one layer, carries the information.
- On questions whose premises are false or internally contradictory, prompting mid-size instruct models (Qwen2.5-7B, LLaMA-3.1-8B, Gemma3-12B) to reason step by step can lower accuracy below plain answering, because the reasoning chain elaborates from the flawed premise instead of challenging it.
- In retrieval-augmented answers, splitting an answer into claims, checking each against the retrieved source, and then acting on the flagged claims reduces the share of answers judged to contain unsupported content — but the strategies trade grounding against preservation: deleting unsupported claims reduces unsupported content most while retaining the least original text, and rewriting retains the most while reducing least.
- Grounding answers in retrieved documents reduces unsupported generation but transfers the trust problem to the retrieval channel: whatever lands in context is treated as reliable, which shows up both as following instructions planted in retrieved content and as deferring to whichever account is better represented when sources disagree.
- When retrieval for a summarization task pulls definitions by surface term match from a general encyclopedia, ambiguous terms fetch the wrong sense and the model incorporates that unsupported background into its output, lowering claim-level factuality below the no-retrieval baseline even when the prompt tells it to ignore unrelated retrieved content.
- Surveys causes, kinds, and detection of hallucination across data, training, and inference, and finds no complete solution.
- Training a language model with differential privacy — whether DP-SGD pre-training or DP LoRA fine-tuning — makes it generate more false claims about facts in its training data than a non-private counterpart, and the effect grows as the privacy budget tightens, because per-example gradient clipping plus noise prevents low-frequency facts from being acquired at all while flattening the next-token distribution onto incorrect alternatives.
- HalluPeer: A Taxonomy-driven Benchmark for Detecting Hallucinations in Scientific Peer Reviews
General-purpose factuality verifiers (entailment-, consistency-, and RAG-trained) and zero-shot frontier LLM judges perform near chance at spotting unsupported claims in scientific peer reviews that must be checked against the full submitted paper, because they cannot separate paper-unsupported assertions from legitimate evaluative critique; small models fine-tuned on in-domain examples beat them by a wide margin.
CapabilityKind / backingobservation · single-paperScopePeer reviews of ML conference papers (ICLR/NeurIPS on OpenReview) with synthetically injected hallucinations; detection at review and sentence level with BM25 or full-paper evidence.Techniqueproposed: Taxonomy-driven hallucination injection for review verification benchmarksStance on what we holdneitherFalsifierAn off-the-shelf verifier or zero-shot frontier LLM reaching review-level MCC comparable to the in-domain fine-tuned models on this or a similar peer-review grounding benchmark.How well evidencedMeasured on 12K papers and 38K reviews; four specialized verifiers gave review-level MCC of at most 0.03, prompted LLMs including GPT-5.2 stayed at 0.15-0.25 review-level MCC, while a fine-tuned Qwen2.5-3B reached 0.69 and Qwen3-32B 0.81. Hallucinations are LLM-injected rather than naturally occurring, so difficulty may reflect the injection distribution; a small authentic-review check (20 annotated cases) showed the fine-tuned detector recovered all of them at 22% false positive rate.What this capability already holds (22)
- A ~2M-parameter classifier head that reads hidden states already computed during generation (tapping shallow, middle and deep layers of the generating model) detects response-level hallucination at least as well as specialized hidden-state hallucination detectors, and its detection quality rises with the scale of the base model it is attached to.
- Accuracy on a fact scales with how many pretraining documents mention it, so long-tail facts are systematically unreliable.
- For black-box hallucination detection using only sampled responses and token log-probabilities, semantic-entropy signals go to zero whenever the samples collapse into one semantic cluster — which happens for a large share of hallucinated queries, up to nearly all of them on tasks with confusable entities and figures — while token-level uncertainty still separates many of those cases, so the two signals fail on different queries and combining them detects more than either alone.
- For closed-book hallucination detection, training a small supervised classifier over many heterogeneous uncertainty scores beats the best single score, but the gain comes from the diversity of sampling-based black-box signals: ensembles over only single-generation token-probability features add little, while black-box-only ensembles do nearly as well as the full set.
- On code prompts that are unsatisfiable by design, open-weight code and reasoning models refuse based on how suspicious the request looks rather than how deeply impossible it is: they refuse famous theoretical impossibilities far more often than requests for plausible-sounding nonexistent packages, and the stronger models in the set close the gap on theory while barely improving on fabricated ecosystem entities.
- Decomposing long answers into atomic facts and checking each with search catches most errors and beats human annotators on cost and agreement.
- For detecting hallucinated text spans in vision-language model outputs, span localization and confidence calibration come from different architectures: a fine-tuned generative VLM proposes better span boundaries but scores them poorly, while a discriminative token tagger trained with a direct regression loss on human-consensus confidence gives better-correlated probabilities but conservative spans, so using the generative spans as proposals and the tagger's probabilities as scores beats either alone.
- For filtering unsupported LLM-generated vulnerability reports in security triage, statistical machine-text detectors are the wrong instrument: they score provenance, not correctness, and human-written security reports are template-driven and low-perplexity, so they trip the same signal that flags machine text.
- When fine-tuning a base model on instruction data, removing from the training targets any factual claim the base model cannot consistently recall raises the supported-claim rate of later long-form generations, but the gain comes largely from a more conservative response policy — more refusals and fewer supported claims per answer — not from generating more correct facts at equal coverage.
- General-purpose factuality verifiers (entailment-, consistency-, and RAG-trained) and zero-shot frontier LLM judges perform near chance at spotting unsupported claims in scientific peer reviews that must be checked against the full submitted paper, because they cannot separate paper-unsupported assertions from legitimate evaluative critique; small models fine-tuned on in-domain examples beat them by a wide margin.
- Grounding generation in retrieved documents improves factual accuracy on knowledge-intensive tasks.
- In LLM-based ASR, steering decoding toward acoustic evidence only helps if candidates are first restricted to tokens within a small likelihood margin of the greedy token: unconstrained selection by an acoustic compatibility score removes hallucinated outputs but destroys transcription accuracy through unbounded insertions, while the constrained version removes a large share of hallucinations at near-zero WER/CER cost.
- Long-form biographies from strong models contain a substantial share of unsupported atomic facts, rising for less well-known subjects.
- Models reproduce common human misconceptions, and larger models were not more truthful on this benchmark.
- In multi-agent LLM systems where one agent starts with an erroneous shared belief, broadcasting every agent's full context at every step raises the rate of false assertions above doing no synchronization at all, because the error propagates to agents that were previously correct — and the harm appears only in tasks where one wrong fact cascades across semantically linked dimensions (destination to airport to weather), not where agent contexts are largely orthogonal.
- In open-weight 7-8B instruct models, a supervised detector built on how hidden states change between adjacent layers separates factually wrong from correct answers better than a probe on any single layer, and shuffling the layer order destroys most of the signal — so the ordering of the depth trajectory, not just the content of one layer, carries the information.
- On questions whose premises are false or internally contradictory, prompting mid-size instruct models (Qwen2.5-7B, LLaMA-3.1-8B, Gemma3-12B) to reason step by step can lower accuracy below plain answering, because the reasoning chain elaborates from the flawed premise instead of challenging it.
- In retrieval-augmented answers, splitting an answer into claims, checking each against the retrieved source, and then acting on the flagged claims reduces the share of answers judged to contain unsupported content — but the strategies trade grounding against preservation: deleting unsupported claims reduces unsupported content most while retaining the least original text, and rewriting retains the most while reducing least.
- Grounding answers in retrieved documents reduces unsupported generation but transfers the trust problem to the retrieval channel: whatever lands in context is treated as reliable, which shows up both as following instructions planted in retrieved content and as deferring to whichever account is better represented when sources disagree.
- When retrieval for a summarization task pulls definitions by surface term match from a general encyclopedia, ambiguous terms fetch the wrong sense and the model incorporates that unsupported background into its output, lowering claim-level factuality below the no-retrieval baseline even when the prompt tells it to ignore unrelated retrieved content.
- Surveys causes, kinds, and detection of hallucination across data, training, and inference, and finds no complete solution.
- Training a language model with differential privacy — whether DP-SGD pre-training or DP LoRA fine-tuning — makes it generate more false claims about facts in its training data than a non-private counterpart, and the effect grows as the privacy budget tightens, because per-example gradient clipping plus noise prevents low-frequency facts from being acquired at all while flattening the next-token distribution onto incorrect alternatives.
- KC-Bench: A Dynamic Interactive Benchmark for Evaluating Knowledge Conflicts in LLM Agents
When an LLM agent must reconcile user-supplied identity credentials against database records before a sensitive read or write, frontier and open models frequently skip the cross-field consistency check and act anyway, and the failure rate barely moves whether the request is simple or has several parallel sub-requests and whether the forged field is visually near-identical to the true one or completely unrelated.
CapabilityKind / backingobservation · single-paperScopeMulti-turn simulated retail customer-service tasks with stateful tools and a domain policy requiring credential verification; nine models, one trial per task, greedy decoding, policies that do not announce a conflict is present.Techniqueproposed: conflict-injection agent benchmarkStance on what we holdneitherFalsifierShowing that detection and clarification rates rise substantially as the forged credential becomes more dissimilar from the true one, or as the number of parallel requests drops, under the same harness.How well evidencedMeasured on 93 retail tasks within a 238-task benchmark, scored by an assertion model plus human trajectory verification; best retail score was 0.7312 (Claude Haiku 4.5) with several models far lower. The complexity and similarity insensitivity is reported qualitatively without per-condition numbers, so that part is argued more than quantified. Single trial per task limits variance estimates.What this capability already holds (7)
- Given several conflicting but equally legitimate passages, a model's answer is driven disproportionately by whichever passage comes first, and the skew sits in the representation of the combined prompt rather than in decoding — which is why reordering the passages does not remove it and why steering the activations does.
- When an LLM agent must reconcile user-supplied identity credentials against database records before a sensitive read or write, frontier and open models frequently skip the cross-field consistency check and act anyway, and the failure rate barely moves whether the request is simple or has several parallel sub-requests and whether the forged field is visually near-identical to the true one or completely unrelated.
- Models endorse widely held falsehoods, showing weak verification against what they know.
- Models readily adopt a single counter-memory passage when it is coherent, and when sources conflict they follow the majority and show confirmation bias toward their own beliefs.
- Training the model to decide when to retrieve and to critique whether passages support its output improves factuality and citation accuracy.
- When training small instruction-tuned models with reinforcement learning plus factual supervision, routing each atomic fact's verification score only to the tokens that produced it, and down-weighting verifier judgements that do not change when their key evidence is removed, improves factuality benchmark scores over trajectory-level or reasoning- step-level factual rewards.
- When VLM agents must verify claims against interactive visualizations where no claim is answerable from the initial viewport, giving them an interaction budget of ten actions does not reliably beat answering immediately from the first screenshot — some models score slightly lower with interaction — because partial, unplanned exploration leaves the model with enough evidence to abandon its prior but not enough to replace it.
- Beyond Retrieval: Progressive Latent Memory Evolution for Streaming Video Understanding
For streaming video question answering with a frozen video-LLM, appending retrieved historical frames as extra visual context helps less than optimizing a small set of latent memory tokens at test time and then dropping the retrieved tokens before decoding; the gain is largest on questions requiring backward tracing over past history.
CapabilityKind / backingobservation · single-paperScopeFrozen Qwen2.5-VL 3B/7B backbones, streaming and long-video benchmarks with a bounded memory budget; test-time optimization only, no parameter updates.Techniqueproposed: latent working memory internalization for streaming videoStance on what we holdneitherFalsifierAn ablation on the same benchmarks where appending the retrieved evidence directly matches or beats the evolved latent memory tokens, or where the backward-tracing gain does not exceed the real-time perception gain.How well evidencedAblation on OVO-Bench/VideoMME: retrieved-evidence-appended 59.7/65.6 vs evolved latent tokens 64.2/66.6, unoptimized latent tokens 56.5/65.2, baseline 56.9/65.4. Backward Tracing rose 44.7 to 60.0 while real-time perception rose 63.3 to 68.5. Single paper, authors' own system, two backbones; does not isolate which of the three components carries the effect beyond the reported staged ablation.What this capability already holds (1)
Send the verdicts back
This site is static and has nowhere to save a decision, so verdicts live in this browser only. Collect them and paste the result into the conversation; filing is still a deliberate act, which is the point.