SMART: State-based Multi Agent Reasoning Traces for Verification-oriented Problem-Solving · Bharat Hunt