SpectraLDS: Provable Distillation for Linear Dynamical Systems
SpectraLDS:线性动力系统的可证明蒸馏
机构 * Computer Science Department, Princeton University(普林斯顿大学计算机科学系) ; Google DeepMind Princeton(谷歌DeepMind普林斯顿)
专题命中 效率与部署 :language model(abstract);分类 cs.LG
AI总结 提出首个可证明方法识别对称线性动力系统,通过谱变换实现与状态维度无关的精度保证,并实现常数时间和空间推理。