TY  - RPRT
TI  - A polynomial-size logical twin for neural networks
AU  - Sandro Preto
AU  - Marcelo Finger
PY  - 2026
UR  - https://arxiv.org/abs/2611.01146
ID  - 2611.01146
ER  -