Developing Bug-Free Machine Learning Systems With Formal Mathematics

DevelopingBug-FreeMachineLearningSystemsWithFormalMathematicsDanielSelsam1PercyLiang1DavidL.Dill1AbstractStandardmethodology:testitempiricallyDebugNoisydata,non-convexobjectives,modelmis-specificat...