TY  - RPRT
TI  - BoxRL-NNV: Boxed Refinement of Latin Hypercube Samples for Neural Network Verification
AU  - Sarthak Das
PY  - 2025
UR  - https://arxiv.org/abs/2504.03650
ID  - 2504.03650
ER  -