Project Aletheia: Verifier-Guided Distillation of Backtracking for Small Language Models. - Aradhya Dixit; Tianxi Liang; Jai Telang (CoRR, 2026)