TY  - RPRT
TI  - Provable Preimage Under-Approximation for Neural Networks (Full Version)
AU  - Xiyue Zhang
AU  - Benjie Wang
AU  - Marta Kwiatkowska
PY  - 2024
UR  - https://arxiv.org/abs/2305.03686
ID  - 2305.03686
ER  -