Probabilistic Verification of Neural Networks Against Group Fairness (Q6488462): Difference between revisions

@@ Property / cites work @@
+Repairing decision-making programs under uncertainty
+Normal rank
@@ Property / cites work @@
+Global PAC bounds for learning discrete time Markov chains
+Normal rank
@@ Property / cites work @@
+The temporal logic of branching time
@@ Property / cites work: The temporal logic of branching time / rank @@
+Normal rank
@@ Property / cites work @@
+Q4969086
@@ Property / cites work: Q4969086 / rank @@
+Normal rank
@@ Property / cites work @@
+Fairness through awareness
@@ Property / cites work: Fairness through awareness / rank @@
+Normal rank
@@ Property / cites work @@
+An abstraction-based framework for neural network verification
+Normal rank
@@ Property / cites work @@
+Robustness Verification for Classifier Ensembles
@@ Property / cites work: Robustness Verification for Classifier Ensembles / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying Recurrent Neural Networks Using Invariant Inference
+Normal rank
@@ Property / cites work @@
+Reluplex: an efficient SMT solver for verifying deep neural networks
+Normal rank
@@ Property / cites work @@
+Least squares quantization in PCM
@@ Property / cites work: Least squares quantization in PCM / rank @@
+Normal rank