What Output-Equivalence Oracles Miss: An Empirical Study of Equivalence-Invisible Bug Fixes in Quantum Transpilers (Qiskit, tket, Cirq)
이 경험적 연구는 양자 컴파일러를 검증하는 데 사용되는 표준 출력 동등성 오라클이 Qiskit, tket 및 Cirq에서 발견된 실제 버그 수정 중 계산된 유니터리를 변경하지 않는 회로 레이아웃, 순열 기록 또는 결정론성의 보이지 않는 결함과 관련된 부분(약 28%)을 감지하는 데 실패한다는 것을 입증한다.