@article{JMLR:v26:24-1297,
  author  = {Xiyue Zhang and Benjie Wang and Marta Kwiatkowska and Huan Zhang},
  title   = {PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks},
  journal = {Journal of Machine Learning Research},
  year    = {2025},
  volume  = {26},
  number  = {133},
  pages   = {1--44},
  url     = {http://jmlr.org/papers/v26/24-1297.html}
}