What Output-Equivalence Oracles Miss: An Empirical Study of Equivalence-Invisible Bug Fixes in Quantum Transpilers (Qiskit, tket, Cirq)
Questo studio empirico dimostra che gli oracoli di equivalenza dell'output standard utilizzati per validare i compilatori quantistici non riescono a rilevare una parte significativa (circa il 28%) di correzioni di bug reali in Qiskit, tket e Cirq, specificamente quelle che coinvolgono difetti invisibili nel layout dei circuiti, nei record di permutazione o nel determinismo che non alterano l'unitarietà calcolata.