Lipschitz Optimization for Formal Verification of Homographies
DGX agentarXiv:2605.23203v1 Announce Type: cross Abstract: The adoption of vision neural networks in regulated industries requires formal robustness guarantees, especially in safety-critical domains such as he