© 1989-2012 IEEE. As machine learning systems become democratized, it becomes increasingly important to help users easily debug their models. However, current data tools are still primitive when it comes to helping users trace model performance problems all the way to the data. We focus on the particular problem of slicing data to identify subsets of the validation data where the model performs poorly. This is an important problem in model validation because the overall model performance can fail to reflect that of the smaller subsets, and slicing allows users to analyze the model performance on a more granular-level. Unlike general techniques (e.g., clustering) that can find arbitrary slices, our goal is to find interpretable slices (which...
Slicing is used to reduce the size of programs by removing those statements that do not contribute ...
Data validation describes the process of checking the internal consistency, correctness and quality ...
International audienceThis chapter describes model validation, a crucial part of machine learning wh...
© 1989-2012 IEEE. As machine learning systems become democratized, it becomes increasingly important...
Machine learning (ML) models that achieve high average accuracy can still underperform on semantical...
Best poster award at Modularity'15International audienceIn Model Driven Development (MDD), invariant...
Current natural language processing (NLP) models such as BERT and RoBERTa have achieved high overall...
Slicing is a technique, traditionally applied to programs, for extracting the parts of a program tha...
Software testing is an activity which aims at evaluating an feature or capability of system and dete...
Machine learning models have many applications, being used for example in pattern analysis, image cl...
Reaction Systems (RSs) are a successful computational framework inspired by biological systems. RSs ...
Mining formal specifications from program executions has numerous applications in software analysis,...
Detecting quality in large unstructured datasets requires capacities far beyond the limits of human ...
International audienceDetecting quality in large unstructured datasets requires capacities far beyon...
When the amount of data is reasonably small, we can usually fit this data to a simple model and use ...
Slicing is used to reduce the size of programs by removing those statements that do not contribute ...
Data validation describes the process of checking the internal consistency, correctness and quality ...
International audienceThis chapter describes model validation, a crucial part of machine learning wh...
© 1989-2012 IEEE. As machine learning systems become democratized, it becomes increasingly important...
Machine learning (ML) models that achieve high average accuracy can still underperform on semantical...
Best poster award at Modularity'15International audienceIn Model Driven Development (MDD), invariant...
Current natural language processing (NLP) models such as BERT and RoBERTa have achieved high overall...
Slicing is a technique, traditionally applied to programs, for extracting the parts of a program tha...
Software testing is an activity which aims at evaluating an feature or capability of system and dete...
Machine learning models have many applications, being used for example in pattern analysis, image cl...
Reaction Systems (RSs) are a successful computational framework inspired by biological systems. RSs ...
Mining formal specifications from program executions has numerous applications in software analysis,...
Detecting quality in large unstructured datasets requires capacities far beyond the limits of human ...
International audienceDetecting quality in large unstructured datasets requires capacities far beyon...
When the amount of data is reasonably small, we can usually fit this data to a simple model and use ...
Slicing is used to reduce the size of programs by removing those statements that do not contribute ...
Data validation describes the process of checking the internal consistency, correctness and quality ...
International audienceThis chapter describes model validation, a crucial part of machine learning wh...