AINeutralarXiv โ CS AI ยท 7h ago6/10
๐ง
Efficient Preimage Approximation for Neural Network Certification
Researchers introduce PREMAP2, an advanced neural network certification tool that significantly improves scalability and efficiency for verifying AI model robustness. The method extends beyond worst-case analysis by estimating what proportion of inputs satisfy safety specifications, with new capabilities supporting convolutional networks and real-world adversarial scenarios like patch attacks.