Stop the war!
Остановите войну!
for scientists:
default search action
"A Toolbox for Fast Interval Arithmetic in numpy with an Application to ..."
Akash Harapanahalli, Saber Jafarpour, Samuel Coogan (2023)
- Akash Harapanahalli, Saber Jafarpour, Samuel Coogan:
A Toolbox for Fast Interval Arithmetic in numpy with an Application to Formal Verification of Neural Network Controlled Systems. CoRR abs/2306.15340 (2023)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.