Backpropagation plus verification notebook