Toward Formal Data Set Verification for Building Effective Machine Learning Models

Jorge López; Maxime Labonne; Claude Poletti

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

Toward Formal Data Set Verification for Building Effective Machine Learning Models

Topics: Data Reduction and Quality Assessment; Information Extraction; Machine Learning; Software Frameworks and Applications

In Proceedings of the 13th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Volume 0IC3K, 249-256, 2021

Authors: Jorge López ; Maxime Labonne and Claude Poletti

Affiliation: Airbus Defence and Space, Issy-Les-Moulineaux, France

Keyword(s): Machine Learning, Data Set Collection, Formal Verification, Trusted Artificial Intelligence.

Abstract: In order to properly train a machine learning model, data must be properly collected. To guarantee a proper data collection, verifying that the collected data set holds certain properties is a possible solution. For example, guaranteeing that that data set contains samples across the whole input space, or that the data set is balanced w.r.t. different classes. We present a formal approach for verifying a set of arbitrarily stated properties over a data set. The proposed approach relies on the transformation of the data set into a first order logic formula, which can be later verified w.r.t. the different properties also stated in the same logic. A prototype tool, which uses the z3 solver, has been developed; the prototype can take as an input a set of properties stated in a formal language and formally verify a given data set w.r.t. to the given set of properties. Preliminary experimental results show the feasibility and performance of the proposed approach, and furthermore the flexi bility for expressing properties of interest. (More)

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 3.135.190.101

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

López, J.; Labonne, M. and Poletti, C. (2021). Toward Formal Data Set Verification for Building Effective Machine Learning Models. In Proceedings of the 13th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2021) - KDIR; ISBN 978-989-758-533-3; ISSN 2184-3228, SciTePress, pages 249-256. DOI: 10.5220/0010676500003064

@conference{kdir21,
author={Jorge López. and Maxime Labonne. and Claude Poletti.},
title={Toward Formal Data Set Verification for Building Effective Machine Learning Models},
booktitle={Proceedings of the 13th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2021) - KDIR},
year={2021},
pages={249-256},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010676500003064},
isbn={978-989-758-533-3},
issn={2184-3228},
}

TY - CONF

JO - Proceedings of the 13th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2021) - KDIR
TI - Toward Formal Data Set Verification for Building Effective Machine Learning Models
SN - 978-989-758-533-3
IS - 2184-3228
AU - López, J.
AU - Labonne, M.
AU - Poletti, C.
PY - 2021
SP - 249
EP - 256
DO - 10.5220/0010676500003064
PB - SciTePress