Certificações por Intervalos para Perceptrons Multicamadas via Travessia de Reticulados

arXiv:2607.08773v1 Tipo de Anúncio: novo Resumo: Neste trabalho, apresentamos um arcabouço teórico rigoroso para um problema fundamental da segurança em IA, a saber, a robustez adversarial. Em particular, mostramos que o problema da robustez adversarial pode ser reduzido a um problema de travessia de reticulados. Cada elemento desse reticulado corresponde a um intervalo, ou seja, um hiper-retângulo alinhado aos eixos, contendo um ponto de entrada $\mathbf{x}$. Considere um classificador de perceptron multicamadas (MLP). Um intervalo $I$ constitu...