What loss.backward() actually does

Part of

Low-cost approximate multipliers for quantum-dot cellular automata.