Toward Formal Data Set Verification for Building Effective Machine Learning Models.

Jorge Lpez, Maxime Labonne, Claude Poletti

Browse the full IC3K paper archive.