Theory

Parameter-free, Dynamic, and Strongly-Adaptive Online Learning ICML 2020 Parameterised Resource-Bounded ATL AAAI 2020 Path-Based Spectral Clustering: Guarantees, Robustness to Outliers, and Fast Algorithms JMLR 2020 Peeking Behind the Ordinal Curtain: Improving Distortion via Cardinal Queries AAAI 2020 Phase retrieval in high dimensions: Statistical and computational phase transitions NeurIPS 2020 Physics-aware Difference Graph Networks for Sparsely-Observed Dynamics ICLR 2020 Piecewise linear activations substantially shape the loss surfaces of neural networks ICLR 2020 Pitfalls of Learning a Reward Function Online IJCAI 2020 Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties IJCAI 2020 POP ≡ POCL, Right? Complexity Results for Partial Order (Causal Link) Makespan Minimization AAAI 2020 Precise Tradeoffs in Adversarial Training for Linear Regression COLT 2020 Predicting Propositional Satisfiability via End-to-End Learning AAAI 2020 Probabilistic Extension of Precision, Recall, and F1 Score for More Thorough Evaluation of Classification Models EMNLP 2020 Probably Approximately Correct Constrained Learning NeurIPS 2020 Probably Approximately Correct Vision-Based Planning using Motion Primitives CoRL 2020 Problems with Shapley-value-based explanations as feature importance measures ICML 2020 Prophet Inequalities for Bayesian Persuasion IJCAI 2020 Proportionality in Approval-Based Elections With a Variable Number of Winners IJCAI 2020 Provable guarantees for decision tree induction: the agnostic setting ICML 2020 Provably Efficient Reinforcement Learning with Kernel and Neural Function Approximations NeurIPS 2020 Proving Semantic Properties as First-Order Satisfiability (Extended Abstract) IJCAI 2020 Pruned Graph Scattering Transforms ICLR 2020 Quantifying the Empirical Wasserstein Distance to a Set of Measures: Beating the Curse of Dimensionality NeurIPS 2020 Quantitative stability of optimal transport maps and linearization of the 2-Wasserstein space AISTATS 2020 Query Rewriting for Ontology-Mediated Conditional Answers AAAI 2020