TY  - RPRT
TI  - VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification
AU  - Ninghan Zhong
AU  - Ahmet Ege Tanriverdi
AU  - Kaan Kale
AU  - Sriram Vishwanath
PY  - 2026
UR  - https://arxiv.org/abs/2606.24124
ID  - 2606.24124
ER  -