Continuous Verification of Machine Learning: a Declarative Programming Approach

Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz. Continuous Verification of Machine Learning: a Declarative Programming Approach. In PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, Bologna, Italy, 9-10 September, 2020. ACM, 2020. [doi]

Abstract

Abstract is missing.