arxivcs.LGeess.SP2026-07-07
When Certificates Fail: A Unified Safety Framework for Embedded Neural Interface Models
Formal robustness certificates for embedded neural-interface models can pass while task accuracy collapses: at perturbation budget e=0.25, EEGNet classification accuracy drops by 25.7% under projected-gradient attack while the Lipschitz-style certificate remains valid for all 9 t…