@misc{indiciae7bc4bdc17b00, title = {SyReNN: A Tool for Analyzing Deep Neural Networks}, author = {Matthew Sotoudeh and Aditya V. Thakur}, year = {2021}, url = {https://arxiv.org/abs/2101.03263}, note = {Source identifier: 2101.03263} }