Skip to content
Preprint

Towards Computational Provenance: Carrying Causal-State Evidence in Generated Text

Aug 2026 · 0 citations · 28 references
Computer Science

TL;DR

A controlled proof of concept that information about a verified, causally relevant internal state can be preserved in generated text even when the answer is unchanged is provided.

Abstract

A language model's output does not by itself provide verifiable evidence about the internal computation that produced it. We study computational provenance: whether generated text can carry detectable evidence of which causally relevant internal state occurred. We test a bounded form of this idea in two controlled architectures: a modular feed-forward neural network and a transformer-based model. Both architectures are trained on the same arithmetic task with a mandatory pathway through two discrete intermediate states, allowing different internal paths to produce the same answer. We deliberately switch between these paths, authenticate the state actually used, and let that verified state determine a subtle statistical pattern in the generated text that can later be detected. The feed-forward and transformer systems each passed all 128 matched pairs in both their public and separately sealed protected end-to-end evaluations, with the detector recovering the signal associated with the authenticated internal state. The required causal computation also reproduced across five independently trained feed-forward models and three independently trained transformers. In a separate answer-only transformer experiment, our linear probes did not recover a naturally learned intermediate state. These results provide a controlled proof of concept that information about a verified, causally relevant internal state can be preserved in generated text even when the answer is unchanged.

View source

Similar papers

Preprint Sep 2026

CausalVerify: End-to-End Verification of Causal Analyses by Language Models

Language models increasingly perform empirical analyses end to end, yet existing evaluations assess the written explanation or whether generated code executes, not whether the executed workflow recovers the intended causal estimand. We introduce CausalVerify, an execution-grounded benchmark for end-to-end causal analys...

Yong-Hong Zhang, Ricardo Correia, Isabel M. Parra et al. · 0 citations

SemTrace: Source-Grounded Semantic Signatures for Tracing LLM Exposure to Protected Documents

SemTrace is introduced, a source-grounded semantic watermark for detecting whether a generated review was influenced by a known protected manuscript copy, and targets model-agnostic, assigned-copy exposure detection while keeping the watermark semantically tied to the source document.

Jun-Yan Zhang, Yuan Zeng, Yong-Wei Huang et al. · 0 citations
#artificial intelligence Preprint Sep 2026

The Geometry of Logic: Stratification Induces Semantic Structure and Robust Reasoning

STRAT is introduced, which partitions the residual stream into orthogonal Data and Type subspaces and uses Type-based attention and gating to govern Data transformations and in arithmetic, STRAT reduces median OOD error 35-fold relative to a Transformer baseline.

Cristina V. Lopes, Yuan-Gang Li, Justin Tian Jin Chen et al. · 0 citations
Preprint Aug 2026

TRACES: A Benchmark for Epistemic Reliability in Scientific Reasoning by LLMs

A probe corpus of 42 retracted, fraudulent, and pseudoscientific papers is paired with a methodology for eliciting and scoring single-shot model engagement with each paper's framing, indicating an urgent need for guardrail infrastructure for scientific deployment of language models.

V. Rodionov, Shamil Assylbekov · 0 citations
Preprint Sep 2026

AGATE: Provenance-Based Runtime Defense Against Compositional Attacks on LLM Agents

LLM agents can produce harmful effects through sequences of ordinary operations. Judging such actions requires establishing both the authority that permits them and the origin of the data they carry. We present AGATE, an authorization and data-provenance gate at instrumented agent-harness boundaries. Operator declarati...

Xiao-Ru Zhang, Zhuo-Ran Cheng, Kai-Lin Liu et al. · 1 citation
Preprint Oct 2026

CompProv Produces Machine Readable Graphs Encoding Microscopic Algebraic Provenance for Reproducible Computation

The reliability of computational results in scientific research and financial modeling increasingly depends on verifiable traceability, not merely on trust in a reported output. Existing provenance systems operate at the granularity of files, datasets, or pipeline stages, leaving the internal sequence of algebraic tran...

Minas Abramyan, Mohammed Alaa Ala'anzy, Nasir Saeed · 0 citations

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