@misc{indiciae0643cb9b4ec8,
  title = {BoxRL-NNV: Boxed Refinement of Latin Hypercube Samples for Neural Network Verification},
  author = {Sarthak Das},
  year = {2025},
  url = {https://arxiv.org/abs/2504.03650},
  note = {Source identifier: 2504.03650}
}