Towards rigorous understanding of neural networks via semantics-preserving transformations.

Maximilian SchlüterGerrit NolteAlnis MurtoviBernhard Steffen
Published in: Int. J. Softw. Tools Technol. Transf. (2023)