EP4258178A1 - INFORMATION PROCESSING APPARATUS FOR IMPROVING ROBUSTNESS OF DEEP NEURAL NETWORK BY USING ADVERSARIAL TRAINING AND FORMAL METHOD