compositional-explanations 0.0.2__tar.gz → 0.0.3__tar.gz

{compositional_explanations-0.0.2/src/compositional_explanations.egg-info → compositional_explanations-0.0.3}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: compositional_explanations
-Version: 0.0.2
+Version: 0.0.3
 Summary: Package to compute Compositional Explanations both in their optimal and beam format.
 Author-email: Biagio La Rosa <bilarosa@ucsc.edu>
 License: MIT

{compositional_explanations-0.0.2 → compositional_explanations-0.0.3}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "compositional_explanations"
-version = "0.0.2"
+version = "0.0.3"
 authors = [
   { name="Biagio La Rosa", email="bilarosa@ucsc.edu" },
 ]

{compositional_explanations-0.0.2 → compositional_explanations-0.0.3}/src/compositional_explanations/optimal_sample_heuristic.py

@@ -227,7 +227,7 @@ def estimate_label_info(label, left_quantities, right_quantities, neuron_quantit
 
     # Quantities used by all the operators
     _, neuron_common_tuple, _, _, common_space_extras_tuple, _ = neuron_quantities
-    neuron_common, _ = neuron_common_tuple
+    neuron_common, neuron_common_sum = neuron_common_tuple
     common_space_extras, _ = common_space_extras_tuple
     max_left_common_intersection = optimal_utils.get_quantity(
         label_info=left_quantities,
@@ -308,6 +308,18 @@ def estimate_label_info(label, left_quantities, right_quantities, neuron_quantit
     )
 
     if isinstance(label, F.Or):
+        max_right_common_intersection_sum = optimal_utils.get_quantity(
+            label_info=right_quantities,
+            quantity_name="common_intersection",
+            quantity_type="max",
+            quantity_scope="sum",
+        )
+        max_left_common_intersection_sum = optimal_utils.get_quantity(
+            label_info=left_quantities,
+            quantity_name="common_intersection",
+            quantity_type="max",
+            quantity_scope="sum",
+        )
         # Auxiliary info: Sum of the right quantities, right unique extras and intersection
         right_unique_intersection_sum = optimal_utils.get_quantity(
             label_info=right_quantities,
@@ -315,6 +327,19 @@ def estimate_label_info(label, left_quantities, right_quantities, neuron_quantit
             quantity_type="max",
             quantity_scope="sum",
         )
+
+        min_left_common_intersection_sum = optimal_utils.get_quantity(
+            label_info=left_quantities,
+            quantity_name="common_intersection",
+            quantity_type="min",
+            quantity_scope="sum",
+        )
+        min_right_common_intersection_sum = optimal_utils.get_quantity(
+            label_info=right_quantities,
+            quantity_name="common_intersection",
+            quantity_type="min",
+            quantity_scope="sum",
+        )
         right_unique_extras_sum = optimal_utils.get_quantity(
             label_info=right_quantities,
             quantity_name="unique_extras",
@@ -334,6 +359,24 @@ def estimate_label_info(label, left_quantities, right_quantities, neuron_quantit
             quantity_scope="sample",
         )
 
+        if (right_unique_intersection_sum == 0 and max_right_common_intersection_sum == 0) or (
+            left_unique_intersection_sum == 0 and max_left_common_intersection_sum == 0) or (
+            right_unique_intersection_sum == 0 and min_left_common_intersection_sum == neuron_common_sum
+            ) or (
+            left_unique_intersection_sum == 0 and min_right_common_intersection_sum == neuron_common_sum):
+            # If one of the two side does not change to the intersection, we can discard this formula because
+            # OR can't reduce the extras
+            return None
+        
+        left_can_be_improved = np.where(min_left_common_intersection < neuron_common, True, False) & np.where(min_right_common_intersection > 0, True, False)
+        right_can_be_improved = np.where(min_right_common_intersection < neuron_common, True, False) & np.where(min_left_common_intersection > 0, True, False)
+        if (right_unique_intersection_sum == 0 and not left_can_be_improved.any()) or (left_unique_intersection_sum == 0 and not right_can_be_improved.any()):
+            # If for a sample the min left intersection is already maximum, the right component cannot improve the score
+            # Similarly, if the minimum common intersection of the right element is 0, it cannot improve the score for that sample
+            return None
+
+
+
         # OR simply sums the unique elements
         unique_intersection = left_unique_intersection + right_unique_intersection # I^u(L) + I^u(c)
 

{compositional_explanations-0.0.2 → compositional_explanations-0.0.3}/src/compositional_explanations/optimal_sum_heuristic.py

@@ -245,9 +245,25 @@ def estimate_label_info(label, *, left_quantities, right_quantities, neuron_quan
         quantity_type="max",
         quantity_scope="sum",
     )
+    min_left_common_intersection_sum = optimal_utils.get_quantity(
+        label_info=left_quantities,
+        quantity_name="common_intersection",
+        quantity_type="min",
+        quantity_scope="sum",
+    )
 
-    if isinstance(label, F.Or):
 
+    if isinstance(label, F.Or):
+        if (right_unique_intersection_sum == 0 and max_right_common_intersection_sum == 0) or (
+            left_unique_intersection_sum == 0 and max_left_common_intersection_sum == 0) or (
+            right_unique_intersection_sum == 0 and min_left_common_intersection_sum == neuron_common_sum
+            ) or (
+            left_unique_intersection_sum == 0 and min_right_common_intersection_sum == neuron_common_sum):
+            # If one of the two side does not change to the intersection, we can discard this formula because
+            # OR can't reduce the extras
+            return None
+        
+        
         # Unique elements are additive since they are disjoint
         unique_intersection_sum = left_unique_intersection_sum + right_unique_intersection_sum
         unique_extras_sum = left_unique_extras_sum + right_unique_extras_sum

{compositional_explanations-0.0.2 → compositional_explanations-0.0.3/src/compositional_explanations.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: compositional_explanations
-Version: 0.0.2
+Version: 0.0.3
 Summary: Package to compute Compositional Explanations both in their optimal and beam format.
 Author-email: Biagio La Rosa <bilarosa@ucsc.edu>
 License: MIT