Towards Lossless Memory-efficient Training of Spiking Neural Networks Via Gradient Checkpointing and Spike Compression | AMiner