@misc{misc78dab355,
title   = {Regional, lattice and logical representations of neural networks},
author = {Preto, Sandro and Finger, Marcelo},
year = {2025},
doi = {10.4204/EPTCS.421.4},
publisher = {Open Publishing Association},
booktitle   = {International Workshop on Logical and Semantic Frameworks, with Applications - LSFA}
}