@misc{indiciaefe70ec777c7c, title = {A polynomial-size logical twin for neural networks}, author = {Sandro Preto and Marcelo Finger}, year = {2026}, url = {https://arxiv.org/abs/2611.01146}, note = {Source identifier: 2611.01146} }