72 citations · 542 across the 65 of their papers we have counts for
5 papers · 1 filter
Rank-One Measurements of Low-Rank PSD Matrices Have Small Feasible Sets
T. Mitchell Roddenberry, Santiago Segarra, Anastasios Kyrillidis
We study the role of the constraint set in determining the solution to low-rank, positive semidefinite (PSD) matrix sensing problems. The setting we consider involves rank-one sens…
On Continuous Local BDD-Based Search for Hybrid SAT Solving
Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang
We explore the potential of continuous local search (CLS) in SAT solving by proposing a novel approach for finding a solution of a hybrid system of Boolean constraints. The algorit…
On Generalization of Adaptive Methods for Over-parameterized Linear Regression
Vatsal Shah, Soumya Basu, Anastasios Kyrillidis +1
Over-parameterization and adaptive methods have played a crucial role in the success of deep learning in the last decade. The widespread use of over-parameterization has forced us…
StackMix: A complementary Mix algorithm
John Chen, Samarth Sinha, Anastasios Kyrillidis
Techniques combining multiple images as input/output have proven to be effective data augmentations for training convolutional neural networks. In this paper, we present StackMix:…
Bayesian Coresets: Revisiting the Nonconvex Optimization Perspective
Jacky Y. Zhang, Rajiv Khanna, Anastasios Kyrillidis +1
Bayesian coresets have emerged as a promising approach for implementing scalable Bayesian inference. The Bayesian coreset problem involves selecting a (weighted) subset of the data…