@misc{indiciae5843969ba339,
  title = {Distributionally Robust Statistical Verification with Imprecise Neural Networks},
  author = {Souradeep Dutta and Michele Caprio and Vivian Lin and Matthew Cleaveland and Kuk Jin Jang and Ivan Ruchkin and Oleg Sokolsky and Insup Lee},
  year = {2025},
  url = {https://arxiv.org/abs/2308.14815},
  note = {Source identifier: 2308.14815}
}