An SMT-based approach for verifying binarized neural networks (Q2233508): Difference between revisions

@@ Property / describes a project that uses @@
+Marabou
@@ Property / describes a project that uses: Marabou / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+XNOR-Net
@@ Property / describes a project that uses: XNOR-Net / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Fashion-MNIST
@@ Property / describes a project that uses: Fashion-MNIST / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3140205966
@@ Property / OpenAlex ID: W3140205966 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.02948
@@ Property / arXiv ID: 2011.02948 / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability Modulo Theories
@@ Property / cites work: Satisfiability Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3844775
@@ Property / cites work: Q3844775 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
+Normal rank
@@ Property / cites work @@
+An abstraction-based framework for neural network verification
+Normal rank
@@ Property / cites work @@
+How Many Bits Does it Take to Quantize Your Neural Network?
+Normal rank
@@ Property / cites work @@
+Q5270493
@@ Property / cites work: Q5270493 / rank @@
+Normal rank
@@ Property / cites work @@
+DeepSafe: a data-driven approach for assessing robustness of neural networks
+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 @@
+Q4558516
@@ Property / cites work: Q4558516 / rank @@
+Normal rank
@@ Property / cites work @@
+Reluplex: an efficient SMT solver for verifying deep neural networks
+Normal rank
@@ Property / cites work @@
+Verification of deep convolutional neural networks using ImageStars
+Normal rank