arXiv · Software Engineering· Mushahid Khan, Olivia Di Matteo·2026-10-09 12:00· 3 小时前AI 评分23

量子编译器 Pass 的 Retromorphic Testing

Retromorphic Testing of Quantum Compiler Passes

AI 导读

论文提出基于 retromorphic testing 与 Hadamard test 原理的量子编译器 pass 自动验证方法，并用框架 RetroQ 应用于 PennyLane 和 Qiskit。