@misc{indiciaea37ecb5badd8,
  title = {Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks},
  author = {Calvin Chau and Jan Křetínský and Stefanie Mohr},
  year = {2023},
  url = {https://arxiv.org/abs/2307.10891},
  note = {Source identifier: 2307.10891}
}