PML 2 : Integrated Program Verification in ML.

Rodolphe Lepigre

Published in: CoRR (2019)

Keyphrases

maximum likelihood
cost function
artificial intelligence
social networks
knowledge base
case study
high level
pattern recognition
information technology
social media