Sign in

Verifying Properties of Differentiable Programs.

Jan HückelheimZiqing LuoSri Hari Krishna NarayananStephen F. SiegelPaul D. Hovland
Published in: SAS (2018)
Keyphrases
  • imperative programs
  • preprocessing
  • desirable properties
  • machine learning
  • website
  • three dimensional
  • high level
  • model checking