VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification

Ninghan Zhong, Ahmet Ege Tanriverdi, Kaan Kale +1

Multi-step reasoning with Chain-of-Thought (CoT) prompting remains fragile: logical errors or hallucinations in early steps silently propagate, producing confident but incorrect co…