Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2504.03650 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916674638184448 |
|---|---|
| author | Das, Sarthak |
| author_facet | Das, Sarthak |
| contents | 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 network. This is done using global extrema estimation via Latin Hypercube Sampling, and further refinement using L-BFGS-B for local optimization around the initial guess. This paper presents an overview of BoxRL-NNV, as well as our results for a subset of the ACAS Xu benchmark. A complete evaluation of the tool's performance, including benchmark comparisons with state-of-the-art tools, shall be presented at the Sixth International Verification of Neural Networks Competition (VNN-COMP'25). |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2504_03650 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | BoxRL-NNV: Boxed Refinement of Latin Hypercube Samples for Neural Network Verification Das, Sarthak Machine Learning Artificial Intelligence 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 network. This is done using global extrema estimation via Latin Hypercube Sampling, and further refinement using L-BFGS-B for local optimization around the initial guess. This paper presents an overview of BoxRL-NNV, as well as our results for a subset of the ACAS Xu benchmark. A complete evaluation of the tool's performance, including benchmark comparisons with state-of-the-art tools, shall be presented at the Sixth International Verification of Neural Networks Competition (VNN-COMP'25). |
| title | BoxRL-NNV: Boxed Refinement of Latin Hypercube Samples for Neural Network Verification |
| topic | Machine Learning Artificial Intelligence |
| url | https://arxiv.org/abs/2504.03650 |