72 citations · 542 across the 65 of their papers we have counts for
4 papers · 1 filter
When is Momentum Extragradient Optimal? A Polynomial-Based Analysis
Junhyung Lyle Kim, Gauthier Gidel, Anastasios Kyrillidis +1
The extragradient method has gained popularity due to its robust convergence properties for differentiable games. Unlike single-objective optimization, game dynamics involve comple…
Strong Lottery Ticket Hypothesis with --perturbation
Zheyang Xiong, Fangshuo Liao, Anastasios Kyrillidis
The strong Lottery Ticket Hypothesis (LTH) claims the existence of a subnetwork in a sufficiently large, randomly initialized neural network that approximates some target neural ne…
DPMS: An ADD-Based Symbolic Approach for Generalized MaxSAT Solving
Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang
Boolean MaxSAT, as well as generalized formulations such as Min-MaxSAT and Max-hybrid-SAT, are fundamental optimization problems in Boolean reasoning. Existing methods for MaxSAT h…
No More Than 6ft Apart: Robust K-Means via Radius Upper Bounds
Ahmed Imtiaz Humayun, Randall Balestriero, Anastasios Kyrillidis +1
Centroid based clustering methods such as k-means, k-medoids and k-centers are heavily applied as a go-to tool in exploratory data analysis. In many cases, those methods are used t…