Refactoring Neural Networks for Verification Published: August 06, 2019Recommended citation: David Shriver, Dong Xu, Sebastian Elbaum, Matthew B. Dwyer. 2019. Refactoring Neural Networks for Verification. arXiv:1908.08026. https://arxiv.org/abs/1908.08026Share on Twitter Facebook LinkedIn Previous Next