IIRC the progressions are generated by a small neural network trained on Bach chorales.