@TechReport{BZK25},
title={Efficient Preimage Approximation for Neural Network Certification}, 
author={Anton Björklund and Mykola Zaitsev and Marta Kwiatkowska},
year={2025},
eprint={2505.22798},
archivePrefix={arXiv},
primaryClass={cs.LG},
url={https://arxiv.org/abs/2505.22798}, 
notes={Technical report, under submission},      
}