Verifying Human-Written Reasoning References.

arXiv:2610.24690v1 Announce Type: new Abstract: Evaluating the reasoning of AI systems often relies on human-written reasoning chains as references, yet the logical support for their individual steps is rarely verified. Although prior neuro-symbolic approaches