Discorver how to formulate and train Spiking Neural Networks (SNNs) using the LIF model, and how to encode data so that it can be processed by SNNs.