Efficient Preimage Approximation for Neural Network Certification
DGX agentarXiv:2505.22798v3 Announce Type: replace-cross Abstract: The growing reliance on artificial intelligence in safety- and security-critical applications is raising concerns about the robustness of neur