2 papers
quant-ph2026
A Hybrid Classical-Quantum Annealing Algorithm for the TSP
Siwei Hu, Victor Lopata, Salvatore Sinno +2
Hybrid quantum-classical algorithms can help mitigating the physical limitations of current quantum devices, particularly the low qubit count and the reduced topological connectivi…
cs.LO2025
Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach
Siwei Hu, Victor Lopata, Sadegh Soudjani +1
In recent years, various techniques have been explored for the verification of quantum circuits, including the use of barrier certificates, mathematical tools capable of demonstrat…