Verifying the Steps of Deductive Reasoning Chains

Published in Findings of the Annual Meeting of the Association for Computational Linguistics (ACL Findings), 2025