@misc{indiciae1c513e38a38f,
  title = {Sound and Complete Verification of Polynomial Networks},
  author = {Elias Abad Rocamora and Mehmet Fatih Sahin and Fanghui Liu and Grigorios G Chrysos and Volkan Cevher},
  year = {2022},
  url = {https://arxiv.org/abs/2209.07235},
  note = {Source identifier: 2209.07235}
}