Inferring Inductive Invariants from Phase Structures.

Yotam M. Y. Feldman James R. Wilcox Sharon Shoham Mooly Sagiv

Published in: CoRR (2019)

Keyphrases

machine learning
inductive learning
computer vision
inductive logic programming
data mining
learning algorithm
similarity measure
video sequences
concept learning
inductive inference
functional programs