Scalable Coupling of Deep Learning with Logical Reasoning.

Marianne Defresne Sophie Barbe Thomas Schiex

Published in: CoRR (2023)

Keyphrases

deep learning
logical reasoning
formal semantics
unsupervised learning
unsupervised feature learning
restricted boltzmann machine
deep architectures
mental models
weakly supervised
machine learning
data mining
decision trees
multiscale
viewpoint
higher order
automatic extraction