Sign in

Improving ML Safety with Partial Specifications.

Rick SalayKrzysztof Czarnecki
Published in: SAFECOMP Workshops (2019)
Keyphrases
  • maximum likelihood
  • formal specification
  • data sets
  • neural network
  • real world
  • case study
  • high level
  • em algorithm