Skip to content
#edge computing Open access

Does the Evidence a Model Cites Drive Its Conclusion? A Pre-registered Causal Test of Declared Evidence Relations in Structured Reasoning Traces

Oct 2026 · Zenodo (CERN European Organization for Nuclear Research)
Explainable Artificial Intelligence (XAI)

Abstract

When a language model writes down its reasoning, does the evidence it cites actually drive the conclusion it states? We contribute a reproducible method for testing causal alignment between declared trace relations and model computation, and a pre-registered application to Qwen2.5-7B-Instruct on a controlled comparison task. Models emit typed, machine-checkable reasoning traces in Scholialang, where a Finding atom declares its dependence on an Evidence atom. We test that declared edge by activation patching: we splice a counterfactual Evidence span's activations into the clean context and check whether the Finding's read is redirected as the relation predicts. For this model and task, a model's emitted symbolic label can causally steer its subsequent conclusion, even when the accompanying facts disagree. On the same 90 self-generated chains, patching the cited span redirected the conclusion in 77/90 relations when the twin flipped both numbers and label. Flipping only the polarity label (supports/refutes) redirected it in 73/90 (paired with the full twin: 84.4% agreement, McNemar p = 0.424). Swapping only the numbers never changed the selected status under this intervention (0/90), although in a post-hoc analysis it shifted the decision margin toward the counterfactual status in every case, by about 27% as much as the label flip. A donor that changed only the Evidence text redirected exactly the same 77 relations as the full twin. What we establish is downstream label influence. Where the numeric comparison is computed, and whether the declared reference structure itself controls routing, remain open: we did not intervene on how the label was generated. The supporting results were pre-registered. Validation, where task relevance is known by construction, separates relevant from irrelevant evidence (J = 1.000 in both evidence orders; per-class Wilson lower bound ≈ 0.862). Redirection rates on two batteries were 77/90 and 53/71 (roughly 75–86%, with substantial between-battery variance). Redirection also succeeds when the relevant evidence is second, although broader position effects are not ruled out. Every redirection failure showed a joint evidence-plus-observation response, and unrelated-evidence controls never redirected. Behavioral arms on two hosted models show direction-sensitivity to their own evidence edits, but an authority-cue arm induced no unfaithfulness, so we have not shown that the method detects genuine unfaithfulness.

View source

Similar papers

#computer vision Review Sep 2017

Agile Software Development Methods: Review and Analysis

This publication proposes a definition and a classification of agile software development approaches and analyses ten software development methods that can be characterized as being "agile" against the defined criterion.

P. Abrahamsson, O. Salo, Jussi Ronkainen et al. · 727 citations · ⚡54
#computer vision Jun 2008

The impact of agile practices on communication in software development

The study shows that agile practices improve both informal and formal communication, but indicates that, in larger development situations involving multiple external stakeholders, a mismatch of adequate communication mechanisms can sometimes even hinder the communication.

M. Pikkarainen, Jukka Haikara, O. Salo et al. · 401 citations · ⚡48
#machine learning Review Open access Oct 2014

Software development in startup companies: A systematic mapping study

The results indicate that software engineering work practices are chosen opportunistically, adapted and configured to provide value under the constrains imposed by the startup context.

Nicolò Paternoster, Carmine Giardino, M. Unterkalmsteiner et al. · 394 citations · ⚡54

Related blog posts

MIT News · Artificial Intelligence Oct 15, 2026

AI model decodes the language cells use to communicate

A new computational approach reveals how cells communicate to assemble into tissues. This could accelerate stem cell engineering, improve disease models, and inform therapies.

Microsoft Research Blog Oct 15, 2026

Proof-based general-purpose computing with Magnetar

Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming languages, major speed gains, and quantum-resistant security. The post Proof-based general-purpose computing with Magnetar appeared first on Microsoft Research.

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