Is This Evidence Decision-Critical? Learning to Verify Rule-Governed Decisions

arXiv:2609.39608 · cs.CL · Submitted 2026-09-30 · Read on arXiv

cs.CL

Submitted: 2026-09-30

Updated: 2026-09-30

Code: https://github.com/Siki-cloud/PairCFR.2https:

Terminology

Accuracy — 56× in this paper · explained in 1 episode
Verifier — 40× in this paper · explained in 2 episodes
Ablation — 27× in this paper · explained in 1 episode
Aggregation — 26× in this paper · explained in 1 episode
Balanced Accuracy — 20× in this paper
Adaptation — 17× in this paper · explained in 1 episode
Aggregation Function — 16× in this paper · explained in 1 episode
Predicted State Execution — 12× in this paper
Verification — 11× in this paper · explained in 2 episodes
Fidelity — 5× in this paper · explained in 2 episodes
Fine-Tuning — 4× in this paper · explained in 5 episodes
Consistency — 3× in this paper · explained in 3 episodes
Contrastive Learning — 3× in this paper · explained in 5 episodes
F1 Score — 2× in this paper · explained in 3 episodes
Two-stage training — 2× in this paper · explained in 2 episodes
Abstention — 1× in this paper · explained in 1 episode
Adam — 1× in this paper · explained in 2 episodes
Adaptability — 1× in this paper · explained in 1 episode
Annotation Ambiguity — 1× in this paper · explained in 1 episode
Benchmark — 1× in this paper · explained in 2 episodes
Core — 1× in this paper · explained in 2 episodes
Data Augmentation — 1× in this paper · explained in 7 episodes
Embeddings — 1× in this paper · explained in 2 episodes
Generalization — 1× in this paper · explained in 13 episodes
Generative AI — 1× in this paper · explained in 2 episodes
Reasoning Traces — 1× in this paper · explained in 3 episodes
Trace — 1× in this paper · explained in 2 episodes
Transformer — 1× in this paper · explained in 2 episodes

Sources

DeltaLogic: Minimal Premise Edits Reveal Belief-Revision Failures in Logical Reasoning Models

Terminology

Sources

Related papers