From Explanations to Interventions: Execution-Guided Counterfactual Synthesis in Temporal Graphs
Read the original on arXiv AI →The Flow has not summarised this story yet — read it at arXiv AI.
The Flow has not summarised this story yet — read it at arXiv AI.
The paper introduces Specified-Foil Counterfactuals for temporal graphs, a method that seeks low‑cost past‑event interventions to make a user‑specified alternative outcome the top prediction. It uses trace‑guided search to compare completed executions of the original prediction with reconstructed incomplete executions of the foil, mapping differences to operations such as DELETE, INSERT, REWIRE, RELABEL, and SHIFT, and then verifies the foil through exact replay. Experiments on continuous‑time dynamic graphs and temporal knowledge graphs show that the approach retains most greedy successes while dramatically reducing predictor evaluations and achieving the specified foil in a majority of cases.
arXiv:2603. 16475v2 Announce Type: replace Abstract: In schema-guided reasoning (SGR) pipelines, LLMs produce explicit intermediate structures -- rubrics, checklists, or verification queries -- before committing to a final decision.
arXiv:2609. 05019v1 Announce Type: new Abstract: Agents tend to optimize, select, or constrain execution structures before decisive runtime outcomes are observed.
Causal diagnostic models must explain how conclusions follow from evidence because diagnoses guide repairs and treatments. Yet serious cases are scarce, records rarely contain reasoning paths, and data transfer poorly across configurations, complicating local deployment.
arXiv:2607. 11327v1 Announce Type: cross Abstract: Model editing keeps large language models (LLMs) up to date without retraining, but temporal facts expose a limitation of the prevailing locate-and-edit paradigm: an update is not always a replacement.
The paper introduces RIPPLE, a method for adapting workflow-synthesizing agents through prompt-policy editing without retraining the underlying model. RIPPLE diagnoses failed execution trajectories, maps failures to specific policy segments, and restricts edits to those segments. It then evaluates candidate edits in isolation and replays only those that remain safe after composition, achieving up to a 23.1% improvement in validation success on a synthetic benchmark and positive gains on additional language‑model backbones.