T1: Tool-integrated Verification for Test-time Compute Scaling in Small Language Models - Kang, Minki; Jeong, Jongwon; Cho, Jaewoong (International Conference on Learning Representations, 2026)