SKT: Skill-Use Training at Scale via Verified Synthetic Data Generation | Zelin Tan et al. | ResearchPod