---
title: 'ReVision: Computational Revision Methods'
url: https://www.emergentmind.com/topics/revision
type: topic
---

# ReVision: Computational Revision Methods

In recent arXiv literature, **ReVision** and closely related spellings such as **REVISION**, **Revise**, and **ReViSE** denote a heterogeneous family of methods, operators, and roadmaps centered on **revision** as an explicit computational primitive. Depending on the domain, the term refers to belief change in non-classical logics, post-OCR correction, iterative text editing, post-hoc safety editing in image generation, self-reflective video editing, redundancy reduction for computer-use agents, group-revision reinforcement learning for grounding, or end-to-end optimization frameworks for adaptive streaming [2404.13608], [2604.08115], [2602.19149], [2512.09924], [2605.11212], [2605.15951], [2409.06051]. A recurrent theme is that revision is not treated as generic rewriting, but as a structured operation over a designated object such as a consequence relation, an editable span, a motion sequence, or a temporally filtered visual history.

## 1. Terminological scope and recurrent meaning

The term has no single canonical definition across the cited literature. In formal epistemology and logic, revision denotes controlled change of an epistemic state or inferential structure under rationality constraints. In NLP and document AI, it denotes iterative improvement of text or OCR output. In multimodal generation, it often denotes localized post-hoc editing or self-reflective correction of generated artifacts. In systems papers, it can denote optimization over objectives, inputs, and actions rather than a single update rule.

| Domain | Representative formulation | Revised object |
|---|---|---|
| Belief and quantum logic | static and dynamic revision operators [2404.13608] | consequence relations, epistemic orderings |
| Text and documents | DELITERATER; Revise [2212.01350], [2604.08115] | editable spans, OCR text, document structure |
| Image and video generation | ReVision; ReViSE [2602.19149], [2512.09924], [2504.21855] | unsafe concepts, edited videos, motion sequences |
| Agents and systems | Stream of Revision; ReVision; REVISION [2602.01187], [2605.11212], [2409.06051] | decoded code history, visual token history, optimization design space |

A plausible implication is that the shared label reflects a broader methodological shift: revision is increasingly modeled as an **explicit intermediate operation** rather than an implicit by-product of generation or inference. That shift is most visible in works that separate detection from correction, or internal logical update from externally induced change.

## 2. Epistemic and logical foundations

The classical background is AGM belief revision, but multiple papers in the corpus argue that AGM-style belief-set revision is too coarse once one moves to iterated change, trust-sensitive reports, probability theory, or quantum logic. In iterated belief revision, **admissible revision** is defined as the class satisfying **RAGM**, \((C1)\), \((C2)\), and \((P)\); within that class, **restrained revision** is the most conservative admissible operator and **lexicographic revision** the least conservative, while **natural revision** is excluded because it can allow the penultimate input to be ignored completely [1109.6344]. This produces a sharper taxonomy than the original Darwiche–Pearl space.

Trust-sensitive revision modifies classical AGM by inserting a pre-processing stage before revision. In that framework, an agent revises by a report \((B,\phi)\), not by \(\phi\) alone; trust is represented first by state partitions and then, for graded comparison across agents, by pseudometrics over states. A report is relativized via
$$
\Pi_A^B[\phi] = \bigcup\{\Pi_A^B(s) \mid s \models \phi\},
$$
and revision is performed on the resulting trust-expanded state set. The paper’s central limitation result is that partitions capture where trust applies but not how strongly different agents are trusted, motivating the pseudometric extension [1405.0034].

Probability-theoretic revision is treated more skeptically. One line of work distinguishes **propagation**, **revision**, and **updating**, and further distinguishes **implicit conditions** from **explicit conditions** in probability assignments. On that basis, Bayes’ theorem,
$$
P_C(A_1 \mid A_2) = \frac{P_C(A_1 \wedge A_2)}{P_C(A_2)},
$$
is argued not to be a generally applicable revision rule, but only a restricted conditionalization rule; Jeffrey’s rule and related “uncertain evidence” methods are classified as updating rather than general revision because they replace the old opinion on \(A\) rather than symmetrically combining old and new evidence [1303.1517]. One recurring misconception addressed here is that all probabilistic belief change is revision; the cited work explicitly denies that identification.

The most non-classical development in the corpus is the quantum-logical account of revision. There, the relevant objects are not belief sets but **consequence relations in intuitionistic quantum logic**, and two operators are distinguished: **static revision**, internal to a Heyting algebra \(D(L)\), and **dynamic revision**, induced by projection measurement between contextual stages. The static operator is based on the Heyting meet \(\wedge\), whereas the dynamic operator is based on the Sasaki projection
$$
a\wedge_s b := a\wedge(\neg a \vee b).
$$
The semantic choice of **inner daseinisation** yields a complete Heyting algebra supporting \(\wedge\), \(\to\), and \(\neg\), and the paper emphasizes that the order in which static and dynamic revision are interwoven affects the resulting consequence relation [2404.13608]. This is a direct rejection of any assumption that “revision” in quantum settings can be represented by a single commutative update operator.

## 3. Structured symbolic revision

In symbolic AI, revision is often implemented over compiled or nonmonotonic structures rather than over raw formula sets. For **Sentential Decision Diagrams (SDDs)**, belief revision is specialized to **Dalal revision** using a syntactic characterization via resolvents and semi-resolvents. The key generalized characterization is
$$
G^\ell(\psi) \equiv \bigvee_{X_1,\dots,X_\ell\in\mathbf X} \bigvee_{\sigma\in\{+,-\}^\ell} \psi_{X_1,\dots,X_\ell}^{\sigma},
$$
which allows revision to be carried out directly inside the SDD formalism rather than by recompilation from scratch. The paper gives a linear-time one-variable semi-resolvent procedure, proves correctness, and reports that direct revision in SDDs yields smaller revised SDDs than “revision + compilation” on randomly generated knowledge bases [2201.08112]. The same work also supplies a specialized DNF procedure with lower practical cost.

Logic-program revision generalizes AGM/Katsuno–Mendelzon revision through **SE interpretations**. For generalized logic programs, every rational revision operator is characterized by two independent components: an **LP faithful assignment** over classical interpretations and a **well-defined assignment** controlling the first component of SE models. The result is that every rational GLP revision operator is derived from a propositional revision operator satisfying the original AGM postulates, while the GLP-specific conditions remain independent of that propositional core [1506.08919]. The same paper embeds families of GLP revision operators into Boolean-lattice structures and identifies two extreme classes: **skeptical** operators, which are overly conservative, and **brave** operators, which are overly liberal. A plausible implication is that rationality postulates adapted from AGM remain too weak to discriminate balanced nonmonotonic revision behavior.

## 4. Textual and document revision

In text generation and editing, ReVision-like systems make **where-to-edit** an explicit object of prediction. The **DELITERATER** framework models iterative text revision as a three-stage pipeline—**Delineate**, **Edit**, **Iterate**—using a token-level edit-intent classifier based on **RoBERTa-LARGE** and a span-conditioned revision generator based on **PEGASUS-LARGE**. The token labels are \(\{\text{CLARITY}, \text{COHERENCE}, \text{FLUENCY}, \text{STYLE}, \text{NONE}\}\), and training is expanded through **ITERATER+**, which incorporates NUCLE, Lang-8, Newsela, WikiLarge, Split and Rephrase, DiscoFuse, and GYAFC. The preprocessing removes many meaning-changing examples, and the paper reports that nearly **40% of the original ITERATER dataset** is discarded on that basis [2212.01350]. The central claim is that intent-plus-span conditioning is more informative than sentence-level intent prefixes.

Revision is also studied as observable learner behavior in adaptive educational writing systems. One pipeline analyzes keystroke logs from **73 participants** writing **three cooking recipes**, with **G1** receiving adaptive feedback and **G2** receiving no adaptive feedback. Session separation is performed by preprocessing, tokenization, mapping words to **50-dimensional GloVe embeddings**, and cosine-distance comparison, with a reported **91%** accuracy before manual correction. The extracted self-regulated learning proxies include **Number of Revisions**, **Number of Edits**, **Time Spent Revising**, **Delete-Insert Ratio**, **Efficiency**, and **Pause Time during Revision**. The strongest behavioral result is that adaptive feedback led to more revision steps, fewer edits per step, and shorter revision sessions; for the first recipe, the number of revisions was **1.882** in G1 versus **0.846** in G2, with \(p = 0.0071\) [2306.10304]. Here revision is not merely a text transformation but a process-minable behavioral signal.

A separate line addresses OCR corruption in practical information systems. **Revise** corrects OCR outputs at **character**, **word**, and **structural/column** levels using a hierarchical error taxonomy and synthetic data contamination from Wikipedia text. The framework uses **seven Revise models**—one `Revise_meta` and six single-error models—sharing a **Llama-3.1-1B-Instruct** backbone; training uses **Adam**, learning rate **1e-4**, **WarmupDecayLR**, max sequence length **2048**, **bfloat16**, **1 epoch**, batch size **32**, and **4× NVIDIA A6000 GPUs**. Evaluations on **VisualMRC**, **DUDE**, **DocVQA**, **CORD**, and **FUNSD** show downstream gains: on DUDE, `Revise_meta` improves average Recall from **0.2534** to **0.2975**, while BERTScore also improves on DocVQA, CORD, and FUNSD [2604.08115]. The paper frames OCR revision as a prerequisite for “assetization,” meaning clean, structured, reusable document information.

## 5. Visual and audiovisual generation

In image generation safety, **ReVision** is a **training-free, prompt-based, post-hoc safety framework** that acts after image generation rather than at prompt-filtering or model-finetuning time. It uses **Gemini-2.5-Flash** as a generic detector of policy-violating content, then performs localized semantic editing with **LOCATEdit**, and finally applies a **VLM-assisted spatial gating mechanism** to prevent “mask spilling” in multi-concept scenes. The gating combines an attention-derived mask \(\mathbf M\) with a latent-space bounding-box gate \(\mathbf G\) via
$$
\mathbf{M}' = \mathbf{M} \land \mathbf{G}.
$$
On a **245-image benchmark**, the paper reports a **+\(0.121\)** average improvement in CLIP-based alignment toward safe prompts, background-fidelity improvement in multi-concept scenes from **LPIPS \(0.166 \rightarrow 0.058\)**, **NudeNet \(70.51 \rightarrow 0\)**, and a reduction in human recognizability of policy-violating content from **95.99\%** to **10.16\%** [2602.19149]. One misconception directly challenged in this work is that safety must be enforced before or during generation; the framework instead treats revision as a last-line defense.

In unified video editing, **ReViSE** introduces **Reason-Informed Video Editing (RVE)** and a **Self-Reflective Reasoning (SRF)** framework in which a model’s internal VLM acts as an intrinsic critic. The benchmark **RVE-Bench** is organized into **Reasoning-Informed Video Editing** and **In-Context Video Generation** subsets, and the training framework combines a flow-matching objective with a reasoning loss,
$$
\mathcal{L}_{\text{USO}} = \mathcal{L}_{\text{FM}} + \lambda \cdot \mathcal{L}_{\text{reason}}.
$$
The strongest reported setting is **USO**, with a default \(\lambda = 0.75\); on the reasoning-informed video editing subset it reaches **4.6689 Overall** versus **3.5387** for the prior best, which the paper describes as about **32%** improvement, and on Ditto-1M conventional video editing it reports **36.7%** gain over the best baseline [2512.09924]. Revision here is self-reflective rather than purely localized: the model evaluates whether its own edit satisfies semantic and perceptual criteria.

A different audiovisual use of the term appears in conditional video generation with explicit physics. That **ReVision** is a **plug-and-play** three-stage framework: generate a coarse video with **Stable Video Diffusion**, extract 2D and 3D object-centric features, refine motion with a **Parameterized Physical Prior Model (PPPM)**, and feed the refined motion sequence back into the same diffusion model as conditioning. The representation layer uses **SMPL-X** for humans, **SMAL** for animals, and a **2.5D parameterized object representation** for general objects. The paper reports that, with **1.5B parameters**, the resulting system outperforms a **13B-parameter** state-of-the-art video generation model on complex motion and interaction benchmarks; in a stage-by-stage user study, **Object Consistency** rises from **12.4** to **87.6**, **Motion Consistency** from **4.0** to **96.0**, and **Morphological Failure Rate** falls from **83.5** to **14.3** [2504.21855]. This suggests a distinct interpretation of revision: not correcting a final sample directly, but refining an intermediate motion prior and regenerating from it.

## 6. Agentic, grounding, and systems-level revision

Revision has also been internalized into decoding and reinforcement-learning loops. **Stream of Revision** for secure code generation augments autoregressive decoding with executable action tokens that trigger backtracking, localize a vulnerable span in the generated prefix, and patch it in place through a deterministic renderer. The rendered program is \(Y = R(T)\), where \(T\) is the token stream containing embedded edit instructions. On CyberSecEval 2, the paper reports that for **Qwen2.5-7B** the average Security Pass Rate rises from **70.20** to **78.62**, and Table 3 shows that the method uses **113.10** input tokens and **219.90** output tokens on average, versus **742.53** input and **480.99** output for a post-hoc localized repair agent [2602.01187]. The associated complexity argument contrasts post-hoc repair with \(O(L)\) overhead against local in-decoding repair approximated as \(O(1)\). Revision here is neither post-hoc nor symbolic; it is a first-class decoding action.

For object-level grounding in LVLMs, **Group Revision** changes the sampling protocol of GRPO from “sample a group of answers” to “sample one initial answer and then revise it with a group of follow-up candidates.” Improvement over the initial attempt is quantified through a potential-based consolidation term,
$$
\Delta \phi_i = \max\!\left(0,\; \frac{\Phi(s^{1}_{\mathrm{shape}})-\Phi(s^{2}_{\mathrm{shape}, i})}{\Phi(s^{1}_{\mathrm{shape}})} \right),
$$
which then modifies both reward and advantage. The paper reports average gains of **+2.16%** on reasoning segmentation, **+2.22%** on referring segmentation, and **+4.27%** on counting, with a multi-object model reaching **79.97% average accuracy** across PixMoCount and CountBench [2605.15951]. The relevant controversy is sparse reward: standard response-level GRPO can become nearly silent on hard cases when all candidates fail, and revision is introduced specifically to recover learning signal from those failures.

In computer-use agents, **ReVision** targets the cost of visual history rather than the correctness of a single action. It removes redundant patches across consecutive GUI screenshots using a learned patch selector, **RTS (ReVision Token Selection)**, while preserving original spatial positions. The paper measures temporal redundancy directly, reporting that **45.4% of patches are redundant across consecutive screenshots** on average, with **56.2%** on OSWorld, **44.4%** on AgentNetBench, and **42.4%** on WebTailBench. With **5 history screenshots** and **Qwen2.5-VL-7B**, ReVision reduces token usage by approximately **46% on average** while improving success rate by **3%** over the no-drop baseline [2605.11212]. A central interpretive claim is that historical saturation in computer-use agents is at least partly an artifact of inefficient tokenization rather than evidence that history is uninformative.

At a still broader systems level, **REVISION** is presented not as a revision algorithm but as **“a Roadmap on adaptivE VIdeo Streaming optimization.”** Its central abstraction is the **REVISION optimization triangle**—**Objective**, **Input Space**, and **Action Domain**—paired with a three-layer architecture comprising **Application**, **Control and Management**, and **Resource** layers. The objective dimension explicitly includes **QoE**, **Latency**, and **Cost**, while the input space is organized into **Constraint**, **Software Stack**, and **Resource**, and the action domain spans contribution, distribution, and consumption stages of HTTP Adaptive Streaming [2409.06051]. This use of the name broadens the semantics of revision further: revision can denote systematic redesign of an optimization problem, not merely local correction of an output.

A plausible implication across these agentic and systems papers is that revision is increasingly treated as an answer to **computational bottlenecks**—sparse reward, immutable prefixes, redundant history, or locally optimized pipelines—rather than only as an answer to logical inconsistency. In that sense, contemporary ReVision research spans a spectrum from formal epistemic operators to practical mechanisms for making inference, generation, and control more adaptive, localized, and structurally aware.

Source: https://www.emergentmind.com/topics/revision