Mathematics & Optimization

Asymptotic Risk of Bézier Simplex Fitting AAAI 2020 Asymptotics of Wide Networks from Feynman Diagrams ICLR 2020 A Three-Level Optimization Model for Nonlinearly Separable Clustering AAAI 2020 A Three-Parameter Rank-Frequency Relation in Natural Languages ACL 2020 A Tight Convergence Analysis for Stochastic Gradient Descent with Delayed Updates ALT 2020 A Tight Lower Bound and Efficient Reduction for Swap Regret NeurIPS 2020 A Two-level Reinforcement Learning Algorithm for Ambiguous Mean-variance Portfolio Selection Problem IJCAI 2020 A Two-Stage Matheuristic Algorithm for Classical Inventory Routing Problem IJCAI 2020 Augmenting the Power of (Partial) MaxSat Resolution with Extension AAAI 2020 A Unified Analysis of Extra-gradient and Optimistic Gradient Methods for Saddle Point Problems: Proximal Point Approach AISTATS 2020 A Unified Framework for Structured Graph Learning via Spectral Constraints JMLR 2020 A Unified Framework of Online Learning Algorithms for Training Recurrent Neural Networks JMLR 2020 A Unified Model for the Two-stage Offline-then-Online Resource Allocation IJCAI 2020 A Unified Optimization Framework for Low-Rank Inducing Penalties CVPR 2020 A Unified q-Memorization Framework for Asynchronous Stochastic Optimization JMLR 2020 A Unified Statistically Efficient Estimation Framework for Unnormalized Models AISTATS 2020 A Unifying View on Individual Bounds and Heuristic Inaccuracies in Bidirectional Search AAAI 2020 Autofocused oracles for model-based design NeurIPS 2020 Automated Spectral Kernel Learning AAAI 2020 Automated Synthesis of Modular Manipulators’ Structure and Control for Continuous Tasks around Obstacles RSS 2020 Automatically Learning Compact Quality-aware Surrogates for Optimization Problems NeurIPS 2020 Automatic Differentiation of Some First-Order Methods in Parametric Optimization AISTATS 2020 Automatic Dominance Breaking for a Class of Constraint Optimization Problems IJCAI 2020 Automatic Synthesis of Generalized Winning Strategies of Impartial Combinatorial Games Using SMT Solvers IJCAI 2020 Automatic Verification of Liveness Properties in the Situation Calculus AAAI 2020