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

@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PyTorch
@@ Property / describes a project that uses: PyTorch / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PRECiSA
@@ Property / describes a project that uses: PRECiSA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AI2
@@ Property / describes a project that uses: AI2 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3210373155
@@ Property / OpenAlex ID: W3210373155 / rank @@
+Normal rank
@@ 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