Atmosphere: Towards Practical Verified Kernels in Rust.

Xiangdong Chen Zhaofeng Li Lukas Mesicek Vikram Narayanan Anton Burtsev

Published in: KISV@SOSP (2023)

Keyphrases

practical application
real world
kernel methods
kernel function
databases
information retrieval
computer vision
support vector
positive definite
data sets
gaussian processes
semi supervised
multi class
expert systems
decision making
feature selection
search engine
artificial intelligence
neural network