TY  - RPRT
TI  - Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks
AU  - Calvin Chau
AU  - Jan Křetínský
AU  - Stefanie Mohr
PY  - 2023
UR  - https://arxiv.org/abs/2307.10891
ID  - 2307.10891
ER  -