TY - RPRT TI - SMART: State-based Multi Agent Reasoning Traces for Verification-oriented Problem-Solving AU - Sai Vallurupalli AU - Francis Ferraro PY - 2026 UR - https://arxiv.org/abs/2611.08196 ID - 2611.08196 ER -