Automatic Differentiation for ML-family languages: correctness via logical relations.

Fernando Lucatelli Nunes Matthijs Vákár

Published in: CoRR (2022)

Keyphrases

maximum likelihood
expressive power
databases
fully automatic
logical structure
logical theories
co occurrence
text summarization
database
special case
logic programs
data driven
pattern languages
mildly context sensitive