Theory

Asymptotic behavior of Support Vector Machine for spiked population model JMLR 2017 A Unified Framework for Structured Prediction: From Theory to Practice EMNLP 2017 A Universal Analysis of Large-Scale Regularized Least Squares Solutions NeurIPS 2017 A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality IJCAI 2017 Bridging Supervised Learning and Test-Based Co-optimization JMLR 2017 Cake Cutting: Envy and Truth IJCAI 2017 Computational Limits of A Distributed Algorithm for Smoothing Spline JMLR 2017 Conditions beyond treewidth for tightness of higher-order LP relaxations AISTATS 2017 Consistency Analysis for Binary Classification Revisited ICML 2017 Contextual Decision Processes with low Bellman rank are PAC-Learnable ICML 2017 Contract Design for Energy Demand Response IJCAI 2017 Convergence Analysis of Proximal Gradient with Momentum for Nonconvex Optimization ICML 2017 Convergence Analysis of Two-layer Neural Networks with ReLU Activation NeurIPS 2017 Convolutional Neural Networks Analyzed via Convolutional Sparse Coding JMLR 2017 Cortical microcircuits as gated-recurrent neural networks NeurIPS 2017 Cost-Optimal Learning of Causal Graphs ICML 2017 Determining Semantic Textual Similarity using Natural Deduction Proofs EMNLP 2017 Dilated Recurrent Neural Networks NeurIPS 2017 Dissipativity Theory for Nesterov’s Accelerated Method ICML 2017 Distributed Sequence Memory of Multidimensional Inputs in Recurrent Networks JMLR 2017 Diverse Neural Network Learns True Target Functions AISTATS 2017 Dual Inference for Machine Learning IJCAI 2017 Dynamic Logic for Data-aware Systems: Decidability Results IJCAI 2017 Early stopping for kernel boosting algorithms: A general analysis with localized complexities NeurIPS 2017 Efficient Kernel Selection via Spectral Analysis IJCAI 2017