Exploiting verified neural networks via floating point numerical error (Q2145326): Difference between revisions

@@ Property / arXiv ID @@
+.03021
@@ Property / arXiv ID: 2003.03021 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5274886
@@ Property / cites work: Q5274886 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4969086
@@ Property / cites work: Q4969086 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
+Normal rank
@@ Property / cites work @@
+Deep neural networks and mixed integer linear optimization
+Normal rank
@@ Property / cites work @@
+Safety verification of deep neural networks
@@ Property / cites work: Safety verification of deep neural networks / rank @@
+Normal rank
@@ Property / cites work @@
+Reluplex: an efficient SMT solver for verifying deep neural networks
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Safe bounds in linear and mixed-integer linear programming
+Normal rank
@@ Property / cites work @@
+Verifying binarized neural networks by Angluin-style learning
+Normal rank
@@ Property / cites work @@
+An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs
+Normal rank