Synthetic Kolmogorov Complexity in Coq.

Yannick Forster Fabian Kunze Nils Lauermann

Published in: ITP (2022)

Keyphrases

kolmogorov complexity
inductive inference
complexity measures
real images are presented
real world
formal methods
theorem prover
data sets
neural network
artificial intelligence
feature selection
graphical models
nearest neighbor classifier