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

73 papers

cs.DS2026

Exploiting Low-Rank Objective Structure in Discrete Quadratic Optimization

Ria Stevens, Fangshuo Liao, Barbara Su +3

We study the problem of maximizing a complex-valued quadratic form over the roots of unity. We show that when the objective matrix $\mathbf{Q}^\star \in \mathbb{C}^…

cs.LO2025

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization

Zhiwei Zhang, Samy Wu Fung, Anastasios Kyrillidis +2

The Boolean satisfiability (SAT) problem lies at the core of many applications in combinatorial optimization, software verification, cryptography, and machine learning. While state…

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…

quant-ph2023★ 2 cited

Using non-convex optimization in quantum process tomography: Factored gradient descent is tough to beat

David A. Quiroga, Anastasios Kyrillidis

We propose a non-convex optimization algorithm, based on the Burer-Monteiro (BM) factorization, for the quantum process tomography problem, in order to estimate a low-rank process…

cs.RO2023★ 1 cited

Stochastic Implicit Neural Signed Distance Functions for Safe Motion Planning under Sensing Uncertainty

Carlos Quintero-Peña, Wil Thomason, Zachary Kingston +2

Motion planning under sensing uncertainty is critical for robots in unstructured environments to guarantee safety for both the robot and any nearby humans. Most work on planning un…

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…