Zero-one laws for provability logic: Axiomatizing validity in almost all models and almost all frames.

Rineke Verbrugge

Published in: LICS (2021)

Keyphrases

data sets
prior knowledge
model selection
neural network
computer vision
learning algorithm
video sequences
d objects
statistical models