From Coding To Curing. Functions, Implementations, and Correctness in Deep Learning · Study