5 citations · 10 across the 4 of their papers we have counts for
4 papers
Application of AI to formal methods - an analysis of current trends
Sebastian Stock, Jannik Dunkelau, Atif Mashkoor
Context: With artificial intelligence (AI) being well established within the daily lives of research communities, we turn our gaze toward formal methods (FM). FM aim to provide sou…
Evaluating the Impact of Loss Function Variation in Deep Learning for Classification
Simon Dräger, Jannik Dunkelau
The loss function is arguably among the most important hyperparameters for a neural network. Many loss functions have been designed to date, making a correct choice nontrivial. How…
Towards Equalised Odds as Fairness Metric in Academic Performance Prediction
Jannik Dunkelau, Manh Khoi Duong
The literature for fairness-aware machine learning knows a plethora of different fairness notions. It is however wellknown, that it is impossible to satisfy all of them, as certain…
Towards Constraint Logic Programming over Strings for Test Data Generation
Sebastian Krings, Joshua Schmidt, Patrick Skowronek +2
In order to properly test software, test data of a certain quality is needed. However, useful test data is often unavailable: Existing or hand-crafted data might not be diverse eno…