Jorge López, Maxime Labonne, Claude Poletti. Toward Formal Data Set Verification for Building Effective Machine Learning Models. In Rita Cucchiara, Ana L. N. Fred, Joaquim Filipe, editors, Proceedings of the 13th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2021, Volume 1: KDIR, Online Streaming, October 25-27, 2021. pages 249-256, SCITEPRESS, 2021. [doi]
Abstract is missing.