TY  - RPRT
TI  - Efficient Preimage Approximation for Neural Network Certification
AU  - Anton Björklund
AU  - Mykola Zaitsev
AU  - Paolo Morettin
AU  - Marta Kwiatkowska
PY  - 2026
UR  - https://arxiv.org/abs/2505.22798
ID  - 2505.22798
ER  -