theoretical guarantee

CertMask: Certifiable Defense Against Adversarial Patches via Theoretically Optimal Mask Coverage AAAI 2026 Practical, Utilitarian Algorithm Configuration AAAI 2026 Aligned Multi Objective Optimization ICML 2025 An Efficient Pruner for Large Language Model with Theoretical Guarantee ICML 2025 Biological Sequence Kernels with Guaranteed Flexibility JMLR 2025 Few for Many: Tchebycheff Set Scalarization for Many-Objective Optimization ICLR 2025 From Individual to Universal: Regularized Multi-view Joint Representation for Multi-view Subspace-Preserving Recovery IJCAI 2025 Learning Neural Networks with Distribution Shift: Efficiently Certifiable Guarantees ICLR 2025 Local Linear Recovery Guarantee of Deep Neural Networks at Overparameterization JMLR 2025 LoRanPAC: Low-rank Random Features and Pre-trained Models for Bridging Theory and Practice in Continual Learning ICLR 2025 One-Pass Feature Evolvable Learning with Theoretical Guarantees ICML 2025 On Inference for the Support Vector Machine JMLR 2025 Reward-Guided Iterative Refinement in Diffusion Models at Test-Time with Applications to Protein and DNA Design ICML 2025 State Space Models are Provably Comparable to Transformers in Dynamic Token Selection ICLR 2025 The First Theoretical Approximation Guarantees for the Non-Dominated Sorting Genetic Algorithm III (NSGA-III) IJCAI 2025 A Federated Stochastic Multi-level Compositional Minimax Algorithm for Deep AUC Maximization ICML 2024 Conformalized Survival Distributions: A Generic Post-Process to Increase Calibration ICML 2024 Data Poisoning Attacks against Conformal Prediction ICML 2024 Enforcing Constraints in RNA Secondary Structure Predictions: A Post-Processing Framework Based on the Assignment Problem ICML 2024 Learning-Based Algorithms for Graph Searching Problems AISTATS 2024 Learning Structural Causal Models through Deep Generative Models: Methods, Guarantees, and Challenges IJCAI 2024 MIM-Reasoner: Learning with Theoretical Guarantees for Multiplex Influence Maximization AISTATS 2024 Multivariate Time Series Forecasting By Graph Attention Networks With Theoretical Guarantees AISTATS 2024 Provable Contrastive Continual Learning ICML 2024 Score-based generative models are provably robust: an uncertainty quantification perspective NeurIPS 2024