Is This Evidence Decision-Critical? Learning to Verify Rule-Governed Decisions
Not on the map. Why?
Abstract (arXiv)
Rule-based reasoning, as in eligibility checks and contract reviews, requires language models to assess evidence against individual conditions and combine their judgments under explicit rules. Errors in evidence assessment can leave a decision unchanged, but misinterpreting or overlooking decision-critical evidence can reverse it. Identifying such evidence allows more capable models to focus on checking the corresponding condition judgments, supporting accurate and safe decisions. Recognizing the evidence's criticality requires understanding how evidence affects a condition judgment and how that judgment affects the decision. To achieve the goal, we propose a INTERvention-based imPACT learning framework (InterPact), which enables counterfactual verification of evidence criticality in rule-governed decisions. Specifically, its evidence intervention constructor generates training pairs for a propagation verifier by editing case facts with a frozen language model while holding rules and non-target conditions fixed. Human-reviewed labels record the resulting condition and decision changes, while complete state-to-decision mappings supervise consequences beyond the observed edit. During training, the verifier weights learned conditional decision predictions by evidence-based condition probabilities through a fixed composition operation, propagating decision-change supervision into the base model. At inference, the trained base model directly judges criticality from the original case and target evidence, without human or stronger-model supervision. On single-case evidence criticality verification over adapted rule-governed decision cases, InterPact achieves 68.28% accuracy, outperforming all six baselines. These results support learned decision sensitivity as a basis for prioritizing evidence checks.
Key facts. No citing papers in the map yet (data through 7 Oct 2026). Builds on 23 of its 23 references that are in the map. First posted on arXiv 30 Sep 2026.
Builds on
23 of 23 references.
References · 23
- 2023Let's Verify Step by Stepcited by 3,598
- 2020Concept Bottleneck Modelscited by 1,022
- 2024GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Modelscited by 533
- 2024Generative Verifiers: Reward Modeling as Next-Token Predictioncited by 465
- 2019Learning the Difference that Makes a Difference with Counterfactually-Augmented Datacited by 428
- 2020ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Languagecited by 309
- 2024ProcessBench: Identifying Process Errors in Mathematical Reasoningcited by 277
- 2020Transformers as Soft Reasoners over Languagecited by 265
- 2021ContractNLI: A Dataset for Document-level Natural Language Inference for Contractscited by 145
- 2023Probabilistic Concept Bottleneck Modelscited by 101
- 2024ContextCite: Attributing Model Generation to Contextcited by 93
- 2018Interpretation of Natural Language Rules in Conversational Machine Readingcited by 72
11 more
- 2023A Closer Look at the Intervention Procedure of Concept Bottleneck Modelscited by 63
- 2024R2-Guard: Robust Reasoning Enabled LLM Guardrail via Knowledge-Enhanced Logical Reasoningcited by 41
- 2021ConditionalQA: A Complex Reading Comprehension Dataset with Conditional Answerscited by 29
- 2024Belief Revision: The Adaptability of Large Language Models Reasoningcited by 26
- 2024RuleArena: A Benchmark for Rule-Guided Reasoning with LLMs in Real-World Scenarioscited by 26
- 2025Premise-Augmented Reasoning Chains Improve Error Identification in Math reasoning with LLMscited by 22
- 2024Reasoning Elicitation in Language Models via Counterfactual Feedbackcited by 14
- 2024Counterfactual Concept Bottleneck Modelscited by 7
- 2024PairCFR: Enhancing Model Training on Paired Counterfactually Augmented Data through Contrastive Learningcited by 7
- 2026Learning Concept Bottleneck Models from Mechanistic Explanationscited by 4
- 2026DeltaLogic: Minimal Premise Edits Reveal Belief-Revision Failures in Logical Reasoning Modelscited by 1
Built on by
Not cited yet.