arXiv · Software Engineering· Jingyu Ke, Jingyang Li, Guoqiang Li·2026-09-30 12:00· 7 小时前AI 评分30

Irene：基于结构保持符号化约简的混合量子程序等价性验证框架

Irene: Equivalence Checking of Hybrid Quantum Programs via Structure-Preserving Symbolic Reduction

AI 导读

Irene 是一个面向有界混合量子程序的等价性验证框架，通过门级代数化简、混合路径和符号图同构及密度核比较三层推理推进。实验在 1,982 对程序上求解率达 79.92%，平均耗时 3.93 秒，并发现 Qiskit、Cirq、PennyLane 等编译器中的 15 个未知缺陷。