Researchers introduce interventional grounding audits to test whether LLM chain-of-thought steps genuinely depend on stated premises. The black-box technique substitutes a target predicate in a single premise and checks if the model's normalized conclusion changes. Evaluated on ProntoQA with GPT-4o, the method achieved an F1 score of 0.806 in detecting proof-tree dependencies.
- Proves CoT reasoning may appear logical without true premise dependency.
- Uses black-box predicate substitution to isolate step-level causal links.
- Validated on ProntoQA with GPT-4o showing 0.806 F1 for dependency detection.
- Offers a concrete metric for auditing LLM logical grounding capabilities.