Showing 1–20 of 91 results
/ Date/ Name
Apr 11, 2019Optimal Nonergodic Sublinear Convergence Rate of Proximal Point Algorithm for Maximal Monotone Inclusion ProblemsMay 11, 2019On the optimal linear convergence factor of the relaxed proximal point algorithm for monotone inclusion problemsApr 28, 2018Formal Security Analysis of Neural Networks using Symbolic IntervalsDec 7, 2009Alternating Direction Algorithms for $\ell_1$-Problems in Compressive SensingJan 12, 2010A Fast Algorithm for Total Variation Image Reconstruction from Random ProjectionsJul 30, 2014A general inertial proximal point method for mixed variational inequality problemJan 26, 2016Applications of gauge duality in robust principal component analysis and semidefinite programmingMay 18, 2017DeepXplore: Automated Whitebox Testing of Deep Learning SystemsSep 10, 2014Inertial primal-dual algorithms for structured convex optimizationJun 15, 2020On the dual step length of the alternating direction method of multipliersMay 15, 2019On the Optimal Ergodic Sublinear Convergence Rate of the Relaxed Proximal Point Algorithm for Variational InequalitiesMay 15, 2021Golden ratio primal-dual algorithm with linesearchDec 5, 2017Towards Practical Verification of Machine Learning: The Case of Computer Vision SystemsApr 22, 2020Live Trojan Attacks on Deep Neural NetworksMar 20, 2021Greenplum: A Hybrid Database for Transactional and Analytical WorkloadsApr 22, 2022A Tale of Two Models: Constructing Evasive Attacks on Edge ModelsApr 26, 2022Causal Transportability for Visual RecognitionNov 15, 2023A Single-Loop Algorithm for Decentralized Bilevel OptimizationJan 16, 2024A convex combination based primal-dual algorithm with linesearch for general convex-concave saddle point problemsJan 16, 2024AdaBB: Adaptive Barzilai-Borwein Method for Convex Optimization