84 citations · 143 across the 4 of their papers we have counts for
4 papers
Hyperlyve: Hyperplane Partitioning for Neural Lyapunov Verification
Jesse Wayment, Brian Yarbrough, Jingbo Wang +2
This work introduces HyParLyVe (Hyperplane Partitioned Lyapunov Verifier), a novel algorithm for sound and complete verification of neural Lyapunov candidates by interpreting shall…
Trainability Analysis of Quantum Optimization Algorithms from a Bayesian Lens
Yanqi Song, Yusen Wu, Sujuan Qin +3
The Quantum Approximate Optimization Algorithm (QAOA) is an extensively studied variational quantum algorithm utilized for solving optimization problems on near-term quantum device…
Quantum data compression by principal component analysis
Chao-Hua Yu, Fei Gao, Song Lin +1
Data compression can be achieved by reducing the dimensionality of high-dimensional but approximately low-rank datasets, which may in fact be described by the variation of a much s…
Quantum algorithm for visual tracking
Chao-Hua Yu, Fei Gao, Chenghuan Liu +3
Visual tracking (VT) is the process of locating a moving object of interest in a video. It is a fundamental problem in computer vision, with various applications in human-computer…