Mathematics & Optimization

Local Search with Dynamic-Threshold Configuration Checking and Incremental Neighborhood Updating for Maximum k-plex Problem AAAI 2020 Logarithmic Regret for Learning Linear Quadratic Regulators Efficiently ICML 2020 Logics for Sizes with Union or Intersection AAAI 2020 Logsmooth Gradient Concentration and Tighter Runtimes for Metropolized Hamiltonian Monte Carlo COLT 2020 Long-Term Loop Closure Detection through Visual-Spatial Information Preserving Multi-Order Graph Matching AAAI 2020 Low-Dimensional Hyperbolic Knowledge Graph Embeddings ACL 2020 Lower Bounds and Faster Algorithms for Equality Constraints IJCAI 2020 Lower Bounds for Approximate Knowledge Compilation IJCAI 2020 Lower Bounds for Learning Distributions under Communication Constraints via Fisher Information JMLR 2020 Lower Bounds for Parallel and Randomized Convex Optimization JMLR 2020 Lower Bounds for Testing Graphical Models: Colorings and Antiferromagnetic Ising Models JMLR 2020 Lower Complexity Bounds for Finite-Sum Convex-Concave Minimax Optimization Problems ICML 2020 LP-SparseMAP: Differentiable Relaxed Optimization for Sparse Structured Prediction ICML 2020 LTLƒ Synthesis with Fairness and Stability Assumptions AAAI 2020 MAGSAC++, a Fast, Reliable and Accurate Robust Estimator CVPR 2020 Maintaining Quality in FEVER Annotation ACL 2020 Making Non-Stochastic Control (Almost) as Easy as Stochastic NeurIPS 2020 Mandarin Lexical Tones: A Corpus-Based Study of Word Length, Syllable Position and Prosodic Position on Duration Interspeech 2020 Manifold Identification for Ultimately Communication-Efficient Distributed Optimization ICML 2020 Manifold Learning-based Word Representation Refinement Incorporating Global and Local Information COLING 2020 Manifold structure in graph embeddings NeurIPS 2020 Manipulating Districts to Win Elections: Fine-Grained Complexity AAAI 2020 Manipulation Trajectory Optimization with Online Grasp Synthesis and Selection RSS 2020 MAP Inference for Customized Determinantal Point Processes via Maximum Inner Product Search AISTATS 2020 Marginal Densities, Factor Graph Duality, and High-Temperature Series Expansions AISTATS 2020