SpectraLDS: Provable Distillation for Linear Dynamical Systems - Shah, Devan; Fortgang, Shlomo; Druchyna, Sofiia; Hazan, Elad (Advances in Neural Information Processing Systems, 2025)