Theory

Can Adversarially Robust Learning LeverageComputational Hardness? ALT 2019 Capacity Control of ReLU Neural Networks by Basis-Path Norm AAAI 2019 Certainty Equivalence is Efficient for Linear Quadratic Control NeurIPS 2019 Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees AAAI 2019 Challenging Common Assumptions in the Unsupervised Learning of Disentangled Representations ICML 2019 Characterizing the Exact Behaviors of Temporal Difference Learning Algorithms Using Markov Jump Linear System Theory NeurIPS 2019 CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks AAAI 2019 Cognitive Deficit of Deep Learning in Numerosity AAAI 2019 Comparing distributions: ℓ_1 geometry improves kernel two-sample testing NeurIPS 2019 Comparison Against Task Driven Artificial Neural Networks Reveals Functional Properties in Mouse Visual Cortex NeurIPS 2019 Complexity of Fundamental Problems in Probabilistic Abstract Argumentation: Beyond Independence (Extended Abstract) IJCAI 2019 Complexity of Highly Parallel Non-Smooth Convex Optimization NeurIPS 2019 Complexity of Linear Regions in Deep Networks ICML 2019 Compositional Questions Do Not Necessitate Multi-hop Reasoning ACL 2019 Computational Separations between Sampling and Optimization NeurIPS 2019 Computing Full Conformal Prediction Set with Approximate Homotopy NeurIPS 2019 Conference on Learning Theory 2019: Preface COLT 2019 Consistency of Interpolation with Laplace Kernels is a High-Dimensional Phenomenon COLT 2019 Constraint-based Learning of Phonological Processes EMNLP 2019 Contextual Bandits with Cross-Learning NeurIPS 2019 Convolutional Neural Networks Can Be Deceived by Visual Illusions CVPR 2019 Correlating Preferences and Attributes: Nearly Single-Crossing Profiles IJCAI 2019 Counting Complexity for Reasoning in Abstract Argumentation AAAI 2019 Counting the Optimal Solutions in Graphical Models NeurIPS 2019 Critical Learning Periods in Deep Networks ICLR 2019