A domain-theoretic framework for robustness analysis of neural networks

Can Zhou, Razin A. Shaikh, Yiran Li, Amin Farjudian. A domain-theoretic framework for robustness analysis of neural networks. Mathematical Structures in Computer Science, 33(2):68-105, 2023. [doi]

@article{ZhouSLF23,
  title = {A domain-theoretic framework for robustness analysis of neural networks},
  author = {Can Zhou and Razin A. Shaikh and Yiran Li and Amin Farjudian},
  year = {2023},
  doi = {10.1017/s0960129523000142},
  url = {https://doi.org/10.1017/s0960129523000142},
  researchr = {https://researchr.org/publication/ZhouSLF23},
  cites = {0},
  citedby = {0},
  journal = {Mathematical Structures in Computer Science},
  volume = {33},
  number = {2},
  pages = {68-105},
}