The uniqueness of SHAP depends on how you handle external information
A few months ago I was rereading the SHAP NeurIPS paper and noticed error in Thm 1. Roughly, L&L Thm 1 says that the SHAP solution is unique, even if we allow prior or external information to influence the model explanation. That's actually not true...