中文利普希茨优化用于单应性形式验证

现有视觉神经网络鲁棒性验证方法局限于统计或ℓ_p范数及仿射变换，未覆盖相机运动，制约其在医疗、自动驾驶等安全关键领域的部署。该文提出一种形式化鲁棒性验证方法，直接针对相机运动扰动，为落地应用提供正式保障。

arXiv:2605.23203v1 Announce Type: new Abstract: The adoption of vision neural networks in regulated industries requires formal robustness guarantees, especially in safety-critical domains such as healthcare, autonomous vehicles, and aerospace. However, current approaches are confined to incomplete statistical verification or robustness to $\ell_p$-norm and affine transforms, which cover only a narrow subset of perturbations to the image formation process. In particular, robustness to camera motion remains an open problem despite being key to deploy many vision applications. We present a formal