Lewis HammondinImandra Inc.Analysing Machine Learning Models with ImandraFormal verification meets machine learning with Imandra, a cloud-native automated reasoning engine bringing formal methods to the masses.Sep 26, 2019Sep 26, 2019