Fetching the paper…

Evaluating Step-by-Step Reasoning through Symbolic Verification · Around