...
The first attempts to backpropagate with spiking neurons [1] estimated the spike function derivative at the point of the spike event as
...
This formulation is in fact a consequence of the implicit function theorem and an exact derivative. The derivative is only defined at the time of the spike event and enables backpropagating errors only at those precise times.
...