@entry{sha-jac-22-aa, author = {N Sharp and A Jacobson}, title = {Spelunking the deep: guaranteed queries on general neural implicit surfaces via range analysis}, journal = {ACM Transactions on Graphics (TOG),}, volume = {}, number = {}, pages = {}, year = 2022, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://dl.acm.org/doi/abs/10.1145/3528223.3530155}}}, quotes = {... Appendix A gives formulae for \uc{01d6fc},\uc{01d6fd},\uc{01d6fe} for common activation functions, and furthermore explicitly defines all affine arithmetic rules used in this work. Here, we consider only MLP-like ...} }