Theoretically Provable Spiking Neural Networks - Zhang, Shao-Qun; Zhou, Zhi-Hua (Advances in Neural Information Processing Systems, 2022)