2 citations · 3 across the 5 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2022
Negative Selection Approach to support Formal Verification and Validation of BlackBox Models' Input Constraints
Abdul-Rauf Nuhu, Kishor Datta Gupta, Wendwosen Bellete Bedada +4
Generating unsafe sub-requirements from a partitioned input space to support verification-guided test cases for formal verification of black-box models is a challenging problem for…
cs.LG2022★ 2 cited
Mitigating shortage of labeled data using clustering-based active learning with diversity exploration
Xuyang Yan, Shabnam Nazmi, Biniam Gebru +4
In this paper, we proposed a new clustering-based active learning framework, namely Active Learning using a Clustering-based Sampling (ALCS), to address the shortage of labeled dat…