Machine Learning is Requirements Engineering — On the Role of Bugs, Verification, and Validation in Machine Learning

kaestner@cs.cmu.edu (Christian Kästner)
Sun, 8 Mar 2020 00:00:00 GMT

I wrote up some insights from some discussions at Dagstuhl last week about bugs in machine-learned models and that we should rather talk about validation than verification of such models. Feedback welcome.