Theory

CerDEQ: Certifiable Deep Equilibrium Model ICML 2022 Certifiable Robot Design Optimization using Differentiable Programming RSS 2022 Certified Adversarial Robustness Under the Bounded Support Set ICML 2022 Certified Error Control of Candidate Set Pruning for Two-Stage Relevance Ranking EMNLP 2022 Certified Robustness of Nearest Neighbors against Data Poisoning and Backdoor Attacks AAAI 2022 Certifying Some Distributional Fairness with Subpopulation Decomposition NeurIPS 2022 Chaotic Dynamics are Intrinsic to Neural Network Training with SGD NeurIPS 2022 Clipped Stochastic Methods for Variational Inequalities with Heavy-Tailed Noise NeurIPS 2022 CNN Filter DB: An Empirical Investigation of Trained Convolutional Filters CVPR 2022 Coin Flipping Neural Networks ICML 2022 ComENet: Towards Complete and Efficient Message Passing for 3D Molecular Graphs NeurIPS 2022 Complete Policy Regret Bounds for Tallying Bandits COLT 2022 Complexity of Deliberative Coalition Formation AAAI 2022 Composition Theorems for Interactive Differential Privacy NeurIPS 2022 Computational-Statistical Gap in Reinforcement Learning COLT 2022 Concentration of Data Encoding in Parameterized Quantum Circuits NeurIPS 2022 Conditional Abstract Dialectical Frameworks AAAI 2022 Conditionally Gaussian PAC-Bayes AISTATS 2022 Consistent Interpolating Ensembles via the Manifold-Hilbert Kernel NeurIPS 2022 Consistent Polyhedral Surrogates for Top-k Classification and Variants ICML 2022 Constraining Gaussian Processes to Systems of Linear Ordinary Differential Equations NeurIPS 2022 Controlling the Complexity and Lipschitz Constant improves Polynomial Nets ICLR 2022 Convergence and Optimality of Policy Gradient Methods in Weakly Smooth Settings AAAI 2022 Convergence and Recovery Guarantees of the K-Subspaces Method for Subspace Clustering ICML 2022 Convergence for score-based generative modeling with polynomial complexity NeurIPS 2022