Mykola Zaitsev

Efficient Preimage Approximation for Neural Network Certification

2025 · arXiv (Cornell University)

The growing reliance on artificial intelligence in safety- and security-critical applications is raising concerns about the robustness of neural networks to erroneous or adversarial input. Certification is a methodology for ensuring model trustworthiness by providing …