signSGD: Compressed Optimisation for Non-Convex Problems | Synapse