Search Results for author:
Found 1 papers, 0 papers with code
Fast Neural Network Verification via Shadow Prices
To use neural networks in safety-critical settings it is paramount to provide assurances on their runtime operation.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
