Mathematics & Optimization

Premise Selection in Natural Language Mathematical Texts ACL 2020 Preselection Bandits ICML 2020 Price of Fairness in Budget Division and Probabilistic Social Choice AAAI 2020 Primal Dual Interpretation of the Proximal Stochastic Gradient Langevin Algorithm NeurIPS 2020 Private Counting from Anonymous Messages: Near-Optimal Accuracy with Vanishing Communication Overhead ICML 2020 Private Identity Testing for High-Dimensional Distributions NeurIPS 2020 Privately Learning Markov Random Fields ICML 2020 Private Mean Estimation of Heavy-Tailed Distributions COLT 2020 Private Protocols for U-Statistics in the Local Model and Beyond AISTATS 2020 Probabilistic Inference for Predicate Constraint Satisfaction AAAI 2020 Probabilistic Inference with Algebraic Constraints: Theoretical Limits and Practical Approximations NeurIPS 2020 Probabilistic Linear Solvers for Machine Learning NeurIPS 2020 Probabilistic Safety Constraints for Learned High Relative Degree System Dynamics L4DC 2020 Probabilistic Swarm Guidance Subject to Graph Temporal Logic Specifications RSS 2020 Processing effort is a poor predictor of cross-linguistic word order frequency CoNLL 2020 Profile Entropy: A Fundamental Measure for the Learnability and Compressibility of Distributions NeurIPS 2020 Programmable Calendar Queues for High-speed Packet Scheduling NSDI 2020 Projected Stein Variational Gradient Descent NeurIPS 2020 Projection Efficient Subgradient Method and Optimal Nonsmooth Frank-Wolfe Method NeurIPS 2020 Projection-free Distributed Online Convex Optimization with O(√T) Communication Complexity ICML 2020 Projection & Probability-Driven Black-Box Attack CVPR 2020 Projection Robust Wasserstein Distance and Riemannian Optimization NeurIPS 2020 Projective Quadratic Regression for Online Learning AAAI 2020 Prophets, Secretaries, and Maximizing the Probability of Choosing the Best AISTATS 2020 Proportional Belief Merging AAAI 2020