You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I found two inconsistencies in the implementation of Fig 11. inference rules for expand .
The over-/under-approximations of Union and Intersect in your code differ from your paper. e.g. the over-approximation of Union should be an empty set but it is output_over in your code.
Hi Celeste,
I found two inconsistencies in the implementation of
Fig 11. inference rules for expand
.The over-/under-approximations of
Union
andIntersect
in your code differ from your paper. e.g. the over-approximation of Union should be an empty set but it isoutput_over
in your code.Your inference rules in the paper:
Your implementation:
ImageEye/synthesizer.py
Lines 66 to 81 in 004064b
Should we handle those inconsistencies by swapping over-/under-approximations? or do I have a wrong understanding on your paper?
The text was updated successfully, but these errors were encountered: