TY - RPRT TI - Project Aletheia: Verifier-Guided Distillation of Backtracking for Small Language Models AU - Aradhya Dixit AU - Tianxi Liang AU - Jai Telang PY - 2026 UR - https://arxiv.org/abs/2601.14290 ID - 2601.14290 ER -