Kernel extension verification is untenable.

Jinghao Jia Raj Sahu Adam Oswald Dan Williams Michael V. Le Tianyin Xu

Published in: HotOS (2023)

Keyphrases

support vector
model checking
component analysis
kernel function
verification method
formal verification
kernel methods
perceptron learning
real time
kernel regression
positive definite
kernel machines
similarity function
high dimensional
feature space
artificial intelligence
real world
databases