Login / Signup

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

Jorge LópezMaxime LabonneClaude Poletti
Published in: KDIR (2021)
Keyphrases
  • machine learning models
  • data sets
  • machine learning approaches
  • machine learning algorithms
  • formal methods
  • neural network
  • genetic algorithm
  • training set
  • spam filtering