@entry{sha-jac-22-ab,
  author = {N Sharp and A Jacobson},
  title = {Spelunking the deep: Guaranteed queries for general neural implicit surfaces},
  journal = {arXiv preprint arXiv:2202.02444,},
  volume = {},
  number = {},
  pages = {},
  year = 2022,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://arxiv.org/abs/2202.02444}}},
  quotes = {... functions, and furthermore explicitly defines all affine arithmetic rules used in this work. ... We have now identified variants of affine arithmetic which are wellsuited to computing range ...}
}