Verifying Properties of Differentiable Programs.

Jan Hückelheim Ziqing Luo Sri Hari Krishna Narayanan Stephen F. Siegel Paul D. Hovland

Published in: SAS (2018)

Keyphrases

imperative programs
preprocessing
desirable properties
machine learning
website
three dimensional
high level
model checking