I gave a chat in the workshop on how the synthesis of logic and device Discovering, Particularly locations including statistical relational Understanding, can allow interpretability.Weighted design counting typically assumes that weights are only specified on literals, typically necessitating the need to introduce auxillary variables. We take into