@misc{EURECOM+6361, author = {Papotti, Paolo}, title = {Explainable checking for statistical and property claims}, howpublished = {Webinar \"Data analytics \& AI\", 28 May 2020, IMT, France (https://www.imt-bs.eu/webinar-data-analytics-ai/)}, year = {2020}, note = {© EURECOM. Personal use of this material is permitted. The definitive version of this paper was published in Webinar \"Data analytics \& AI\", 28 May 2020, IMT, France (https://www.imt-bs.eu/webinar-data-analytics-ai/) and is available at :}, }