76 citations · 129 across the 23 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2020★ 4 cited
Testing Monotonicity of Machine Learning Models
Arnab Sharma, Heike Wehrheim
Today, machine learning (ML) models are increasingly applied in decision making. This induces an urgent need for quality assurance of ML models with respect to (often domain-depend…
cs.LG2017★ 1 cited
Predicting Rankings of Software Verification Competitions
Mike Czech, Eyke Hüllermeier, Marie-Christine Jakobs +1
Software verification competitions, such as the annual SV-COMP, evaluate software verification tools with respect to their effectivity and efficiency. Typically, the outcome of a c…