14 citations · 32 across the 14 of their papers we have counts for
Showing 2024 · quant-phShow all
2 papers · 2 filters
quant-ph2024★ 3 cited
QUACK: Quantum Aligned Centroid Kernel
Kilian Tscharke, Sebastian Issel, Pascal Debus
Quantum computing (QC) seems to show potential for application in machine learning (ML). In particular quantum kernel methods (QKM) exhibit promising properties for use in supervis…
quant-ph2024
Towards Classical Software Verification using Quantum Computers
Sebastian Issel, Kilian Tscharke, Pascal Debus
We explore the possibility of accelerating the formal verification of classical programs with a quantum computer. A common source of security flaws stems from the existence of comm…