Verifying Adversarial Robustness in Quantum Machine Learning: from theory to physical validation via a software tool
验证量子机器学习中的对抗鲁棒性:从理论到通过软件工具的物理验证
专题命中 安全评测 :trustworthy(abstract)
AI总结 本文提出基于保真度的鲁棒性下界,通过测量结果分布直接计算,结合半定规划优化,实现量子机器学习模型对抗鲁棒性的形式化验证与物理实验验证。
Journal ref Quantum Robustness in Artificial Intelligence, Quantum Science and Technology, Springer Nature Switzerland, 2026