Skip to yearly menu bar Skip to main content


Poster
in
Workshop: VerifAI: AI Verification in the Wild

Training and Verifying robust Kolmogorov-Arnold Networks

Bjoern Heiderich · Max-Lion Schumacher · Marco Huber


Abstract:

Kolmogorov–Arnold Networks (KANs) offer strong theoretical representationalpower but, like MLPs and CNNs, remain vulnerable to adversarial attacks. Bench-marks on Fashion MNIST and CIFAR10 confirm this susceptibility. We introduceGloroKAN, leveraging KANs’ B-spline structure to approximate local Lipschitzconstants directly in the forward pass, boosting robustness without gradient-basedadversarial training and nearing adversarially trained performance. Additionally,we propose a verification method using algebraic geometry to exploit KANs’piecewise polynomial nature. While these findings highlight KANs’ potentialfor robust, interpretable models, further research is needed to realize their fullpromise.

Chat is not available.