Combining k-Induction with Continuously-Refined Invariants.

Dirk Beyer Matthias Dangl Philipp Wendler

Published in: CoRR (2015)

Keyphrases

real time
computer vision
constructive induction
program synthesis
data sets
data mining
machine learning
knowledge base
multiscale
inductive learning
affine invariant
invariant features