activity
20122026
most citedFormal Verification of Obstacle Avoidance and Navigation of Ground Robots

72 citations · 542 across the 65 of their papers we have counts for

collaborators
Showing cs.LGShow all

24 papers · 1 filter

cs.LG2025

Unveiling Hidden Pivotal Players with GoalNet: A GNN-Based Soccer Player Evaluation System

Jacky Hao Jiang, Jerry Cai, Anastasios Kyrillidis

Soccer analysis tools emphasize metrics such as expected goals, leading to an overrepresentation of attacking players' contributions and overlooking players who facilitate ball con…

cs.LG2023

Fast FixMatch: Faster Semi-Supervised Learning with Curriculum Batch Size

John Chen, Chen Dun, Anastasios Kyrillidis

Advances in Semi-Supervised Learning (SSL) have almost entirely closed the gap between SSL and Supervised Learning at a fraction of the number of labels. However, recent performanc…

cs.LG2023

Provable Accelerated Convergence of Nesterov's Momentum for Deep ReLU Neural Networks

Fangshuo Liao, Anastasios Kyrillidis

Current state-of-the-art analyses on the convergence of gradient descent for training neural networks focus on characterizing properties of the loss landscape, such as the Polyak-L…

cs.LG2022

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…

cs.LG2022

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…

cs.LG2022

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…