BoxRL-NNV: Boxed Refinement of Latin Hypercube Samples for Neural Network Verification

Sarthak Das

BoxRL-NNV is a Python tool for the detection of safety violations in neural networks by computing the bounds of the output variables, given the bounds of the input variables of the…