Theory

Sharpness Minimization Algorithms Do Not Only Minimize Sharpness To Achieve Better Generalization NeurIPS 2023 Sharp Spectral Rates for Koopman Operator Learning NeurIPS 2023 Sharp thresholds in inference of planted subgraphs COLT 2023 Shortcomings of Top-Down Randomization-Based Sanity Checks for Evaluations of Deep Neural Network Explanations CVPR 2023 SigMaNet: One Laplacian to Rule Them All AAAI 2023 Simple initialization and parametrization of sinusoidal networks via their kernel bandwidth ICLR 2023 Simple Transferability Estimation for Regression Tasks UAI 2023 Simplicity Bias in 1-Hidden Layer Neural Networks NeurIPS 2023 Simplicity Bias in Transformers and their Ability to Learn Sparse Boolean Functions ACL 2023 SMT Safety Verification of Ontology-Based Processes AAAI 2023 Solving Explainability Queries with Quantification: The Case of Feature Relevancy AAAI 2023 Solving Oscillation Problem in Post-Training Quantization Through a Theoretical Perspective CVPR 2023 Some Might Say All You Need Is Sum IJCAI 2023 Sound Randomized Smoothing in Floating-Point Arithmetic ICLR 2023 Sparsity May Cry: Let Us Fail (Current) Sparse Neural Networks Together! ICLR 2023 Spatial-Temporal Concept Based Explanation of 3D ConvNets CVPR 2023 Spatio-Temporal Neural Structural Causal Models for Bike Flow Prediction AAAI 2023 Specifying and Testing k-Safety Properties for Machine-Learning Models IJCAI 2023 Spectral Entry-wise Matrix Estimation for Low-Rank Reinforcement Learning NeurIPS 2023 Spectral Evolution and Invariance in Linear-width Neural Networks NeurIPS 2023 Spontaneous symmetry breaking in generative diffusion models NeurIPS 2023 SQ Lower Bounds for Random Sparse Planted Vector Problem ALT 2023 Stability and Generalization of lp-Regularized Stochastic Learning for GCN IJCAI 2023 Stability Guarantees for Feature Attributions with Multiplicative Smoothing NeurIPS 2023 Statistical Analysis of Quantum State Learning Process in Quantum Neural Networks NeurIPS 2023