{"id":"arxiv/2610.10258","url":"https://arxiv.org/abs/2610.10258","tags":["cs.SE","cs.AI","quant-ph"],"score":0,"title":"QuSema: Detecting Silent Bugs in Quantum Libraries via Quantum-knowledge-enhanced Agents","domain":"cs.SE","source":"arxiv","authors":["Yujin Song","Kaining Zhang","Qixin Zhang","Shuai Wang","Pingchuan Ma","Yuxuan Du"],"reviews":0,"subject":"cs.SE","summary":"Quantum libraries are now critical infrastructure for quantum algorithm development, yet their correctness remains difficult to test. Existing testing techniques mainly rely on failure-based or comparison-based oracles, exposing bugs only when executions fail, violate runtime checks, or disagree with another implementation. Their applicability is limited when suitable execution-based oracles are unavailable, leaving some silent bugs undetected. Such missed bugs can produce incorrect results that propagate into experimental conclusions, simulation studies, and algorithmic designs. Here we…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-10-07","reactions":{}}