PML2: Integrated Program Verification in ML.

Rodolphe Lepigre

Published in: TYPES (2017)

Keyphrases

maximum likelihood
machine learning
databases
case study
three dimensional
pattern recognition
mobile devices
knowledge discovery
general purpose