Theory

Optimal Interdiction of Urban Criminals with the Aid of Real-Time Information AAAI 2019 Optimal Surveillance of Covert Networks by Minimizing Inverse Geodesic Length AAAI 2019 Optimal Testing in the Experiment-rich Regime AISTATS 2019 Overparameterized Nonlinear Learning: Gradient Descent Takes the Shortest Path? ICML 2019 Partially Observable Multi-Sensor Sequential Change Detection: A Combinatorial Multi-Armed Bandit Approach AAAI 2019 Per-Decision Option Discounting ICML 2019 Performance Evaluation in Machine Learning: The Good, the Bad, the Ugly, and the Way Forward AAAI 2019 Performance Guarantees for Homomorphisms beyond Markov Decision Processes AAAI 2019 Personalizing Many Decisions with High-Dimensional Covariates NeurIPS 2019 Phase transition in PCA with missing data: Reduced signal-to-noise ratio, not sample size! ICML 2019 Piecewise Strong Convexity of Neural Networks NeurIPS 2019 Pitfalls in the Evaluation of Sentence Embeddings ACL 2019 Plug-and-Play Methods Provably Converge with Properly Trained Denoisers ICML 2019 Polynomial Representation for Persistence Diagram CVPR 2019 POPQORN: Quantifying Robustness of Recurrent Neural Networks ICML 2019 Post Selection Inference with Incomplete Maximum Mean Discrepancy Estimator ICLR 2019 Power analysis of knockoff filters for correlated designs NeurIPS 2019 Preference-Based Batch and Sequential Teaching: Towards a Unified View of Models NeurIPS 2019 Probabilistic Strategy Logic IJCAI 2019 Probability Functional Descent: A Unifying Perspective on GANs, Variational Inference, and Reinforcement Learning ICML 2019 Provable Certificates for Adversarial Examples: Fitting a Ball in the Union of Polytopes NeurIPS 2019 Provably Powerful Graph Networks NeurIPS 2019 Provably Robust Deep Learning via Adversarially Trained Smoothed Classifiers NeurIPS 2019 Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable AAAI 2019 Racial Bias in Hate Speech and Abusive Language Detection Datasets ACL 2019