Copertina

Optimal Abstractions for Verifying Properties of Kolmogorov-Arnold Networks (KANs)

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Schwartz, Noah, Nagesh, Chandra Kanth, Sankaranarayanan, Sriram, Kaur, Ramneet, Sahai, Tuhin, Jha, Susmit
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Machine Learning Artificial Intelligence Logic in Computer Science 68T07
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Taylor-Model Physics-Informed Neural Networks (PINNs) for Ordinary Differential Equations
di: Nagesh, Chandra Kanth, et al.
Pubblicazione: (2025)

Influence-Inspired Spectral Rotations for Extreme Low-Bit LLM Quantization
di: Pavlov, Gorgi
Pubblicazione: (2026)

Reduced Effectiveness of Kolmogorov-Arnold Networks on Functions with Noise
di: Shen, Haoran, et al.
Pubblicazione: (2024)

MonoKAN: Certified Monotonic Kolmogorov-Arnold Network
di: Polo-Molina, Alejandro, et al.
Pubblicazione: (2024)

Marrying Compressed Sensing and Deep Signal Separation
di: Hickok, Truman, et al.
Pubblicazione: (2024)

Input Convex Kolmogorov Arnold Networks
di: Deschatre, Thomas, et al.
Pubblicazione: (2025)

Sprecher Networks: A Parameter-Efficient Kolmogorov-Arnold Architecture
di: Hägg, Christian, et al.
Pubblicazione: (2025)

On Halting vs Converging in Recurrent Graph Neural Networks
di: Bollen, Jeroen, et al.
Pubblicazione: (2026)

Are Targeted Messages More Effective?
di: Grohe, Martin, et al.
Pubblicazione: (2024)

CoxKAN: Kolmogorov-Arnold Networks for Interpretable, High-Performance Survival Analysis
di: Knottenbelt, William, et al.
Pubblicazione: (2024)

Multilevel Training for Kolmogorov Arnold Networks
di: Southworth, Ben S., et al.
Pubblicazione: (2026)

A Generalization Bound for a Family of Implicit Networks
di: Fung, Samy Wu, et al.
Pubblicazione: (2024)

Redundancy rules for MaxSAT
di: Bonacina, Ilario, et al.
Pubblicazione: (2025)

On CNF Conversion for SAT and SMT Enumeration
di: Masina, Gabriele, et al.
Pubblicazione: (2023)

Attention Maps in 3D Shape Classification for Dental Stage Estimation with Class Node Graph Attention Networks
di: Buyukcakir, Barkin, et al.
Pubblicazione: (2025)

On the study of frequency control and spectral bias in Wavelet-Based Kolmogorov Arnold networks: A path to physics-informed KANs
di: Meshir, Juan Daniel, et al.
Pubblicazione: (2025)

Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings
di: Turan, Berkant, et al.
Pubblicazione: (2025)

ADAM: An AI Reasoning and Bioinformatics Model for Alzheimer's Disease Detection and Microbiome-Clinical Data Integration
di: Huang, Ziyuan, et al.
Pubblicazione: (2025)

P1-KAN: an effective Kolmogorov-Arnold network with application to hydraulic valley optimization
di: Warin, Xavier
Pubblicazione: (2024)

From Features to Graphs: Exploring Graph Structures and Pairwise Interactions via GNNs
di: Yamchote, Phaphontee, et al.
Pubblicazione: (2025)

Generative Design of a Gas Turbine Combustor Using Invertible Neural Networks
di: Krüger, Patrick, et al.
Pubblicazione: (2026)

SAD Neural Networks: Divergent Gradient Flows and Asymptotic Optimality via o-minimal Structures
di: Kranz, Julian, et al.
Pubblicazione: (2025)

Approximability of deep computations
di: Alva, Samson, et al.
Pubblicazione: (2024)

Centralized vs. Decentralized Multi-Agent Reinforcement Learning for Enhanced Control of Electric Vehicle Charging Networks
di: Shojaeighadikolaei, Amin, et al.
Pubblicazione: (2024)

Simulating and model checking membrane systems using strategies in Maude
di: Rubio, Rubén, et al.
Pubblicazione: (2024)

Informed deep hierarchical classification: a non-standard analysis inspired approach
di: Fiaschi, Lorenzo, et al.
Pubblicazione: (2024)

The Boundaries of Verifiable Accuracy, Robustness, and Generalisation in Deep Learning
di: Bastounis, Alexander, et al.
Pubblicazione: (2023)

A coupled Kolmogorov-Arnold Network and Level-Set framework for evolving interfaces
di: Pande, Tarus, et al.
Pubblicazione: (2026)

OptPO: Optimal Rollout Allocation for Test-time Policy Optimization
di: Wang, Youkang, et al.
Pubblicazione: (2025)

Quantifying The Limits of AI Reasoning: Systematic Neural Network Representations of Algorithms
di: Kratsios, Anastasis, et al.
Pubblicazione: (2025)

The Sigma-max System Induced from Randomness & Fuzziness and its Application in Time Series Prediction
di: Mei, Wei, et al.
Pubblicazione: (2021)

Nonlinear Factor Decomposition via Kolmogorov-Arnold Networks: A Spectral Approach to Asset Return Analysis
di: Breazu, David
Pubblicazione: (2026)

YOLOv10 with Kolmogorov-Arnold networks and vision-language foundation models for interpretable object detection and trustworthy multimodal AI in computer vision perception
di: Impraimakis, Marios, et al.
Pubblicazione: (2026)

Multi-Level Fusion Graph Neural Network for Molecule Property Prediction
di: Liu, XiaYu, et al.
Pubblicazione: (2025)

Beyond Backpropagation: Exploring Innovative Algorithms for Energy-Efficient Deep Neural Network Training
di: Spyra, Przemysław
Pubblicazione: (2025)

Front-propagation Algorithm: Explainable AI Technique for Extracting Linear Function Approximations from Neural Networks
di: Viaña, Javier
Pubblicazione: (2024)

Graph Neural Networks for Brain Graph Learning: A Survey
di: Luo, Xuexiong, et al.
Pubblicazione: (2024)

Proof-Carrying Verification for ReLU Networks via Rational Certificates
di: Gokavarapu, Chandrasekhar
Pubblicazione: (2025)

Tight Verification of Probabilistic Robustness in Bayesian Neural Networks
di: Batten, Ben, et al.
Pubblicazione: (2024)

Building Brain Tumor Segmentation Networks with User-Assisted Filter Estimation and Selection
di: Cerqueira, Matheus A., et al.
Pubblicazione: (2024)