@misc{indiciaeb34be5677070, title = {Symbol Correctness in Deep Neural Networks Containing Symbolic Layers}, author = {Aaron Bembenek and Toby Murray}, year = {2024}, url = {https://arxiv.org/abs/2402.03663}, note = {Source identifier: 2402.03663} }