Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing.

Mathieu Huot Sam Staton Matthijs Vákár

Published in: FoSSaCS (2020)

Keyphrases

neural network
data driven
semi automatic
fully automatic
computer vision
database systems
categorical data
provably correct
data sets
decision making
website
decision trees
natural language
association rules
special case