Floating-Point Neural Network Verification at the Software Level

Open in new window