TY  - RPRT
TI  - T1: Tool-integrated Verification for Test-time Compute Scaling in Small Language Models
AU  - Minki Kang
AU  - Jongwon Jeong
AU  - Jaewoong Cho
PY  - 2026
UR  - https://arxiv.org/abs/2504.04718
ID  - 2504.04718
ER  -