Inductive Termination Proofs with Transition Invariants and Their Relationship to the Size-Change Abstraction.

Florian Zuleger

Published in: SAS (2018)

Keyphrases

high level
machine learning
search engine
inductive learning
small size
inductive reasoning
neural network
data mining
social networks
knowledge base
pattern recognition
affine invariant
theorem proving
invariant features
inductive inference
formal proofs