Probabilistic Soundness Guarantees in LLM Reasoning Chains

Published in EMNLP, 2025