Automaton Distillation: Neuro-Symbolic Transfer Learning for Deep Reinforcement Learning. - Precious Nwaorgu; Suraj Singireddy; Andre Beckus; Aden McKinney; Mahyar Alinejad; Chinwendu Enyioha; Sumit Kumar Jha 001; Alvaro Velasquez; George K. Atia (Trans. Mach. Learn. Res., 2026)