VeryTrace DSL Catches and Repairs CoT Reasoning Errors at Step Level

VeryTrace compiles natural-language chain-of-thought traces into a DSL that makes step dependencies explicit and quantitative content executable, then applies a hybrid verifier combining deterministic checks with LLM audits for semantic steps. Tested on AIME 2025 math, LLM-BabyBench robotics planning, and kinship reasoning, it enables step-level error localization and repair without fine-tuning.