jdnklau
Doctoral student at Heinrich Heine University Düsseldorf. Interested in machine learning and formal methods.
University of DüsseldorfDüsseldorf, Germany
Pinned Repositories
AIF360
A comprehensive set of fairness metrics for datasets and machine learning models, explanations for these metrics, and algorithms to mitigate bias in datasets and models.
awesome-machine-learning-on-source-code
Cool links & research papers related to Machine Learning applied to source code (MLonCode)
chessjure
Chess engine in Clojure
fairlearn
Reductions for Fair Machine Learning
fm-ml
Collection of resources for research concerning Machine Learning and Formal Methods.
NeuroB
Mirror-only repository of the NeuroB source code.
prob-backend-analysis
Analysis of the ProB Backends via inTrees, extracting knowledge from random forests. Code for the publication "Analysing ProB's Constraint Solving Backends: What do they know? Do they know things? Let's find out!".
pydpll
Naive implementation of the DPLL algorithm for SAT solving in Python
twitch-chat-leaderboard
App to keep track of your most active viewers.
jdnklau's Repositories
jdnklau/fm-ml
Collection of resources for research concerning Machine Learning and Formal Methods.
jdnklau/twitch-chat-leaderboard
App to keep track of your most active viewers.
jdnklau/pydpll
Naive implementation of the DPLL algorithm for SAT solving in Python
jdnklau/AIF360
A comprehensive set of fairness metrics for datasets and machine learning models, explanations for these metrics, and algorithms to mitigate bias in datasets and models.
jdnklau/awesome-machine-learning-on-source-code
Cool links & research papers related to Machine Learning applied to source code (MLonCode)
jdnklau/chessjure
Chess engine in Clojure
jdnklau/fairlearn
Reductions for Fair Machine Learning
jdnklau/NeuroB
Mirror-only repository of the NeuroB source code.
jdnklau/prob-backend-analysis
Analysis of the ProB Backends via inTrees, extracting knowledge from random forests. Code for the publication "Analysing ProB's Constraint Solving Backends: What do they know? Do they know things? Let's find out!".
jdnklau/ranked-runtime-predictions-for-probs-backends
jdnklau/recipes
🍰 Recipes encapsulate your favourite apps into Ferdi for unified notifications handling and more
jdnklau/rot
A Prolog-based battle engine for Pokémon (Gen 6) with AI opponent.
jdnklau/skprolog
A translation unit for transpiling the decision trees and random forests of Scikit Learn into Prolog structures.
jdnklau/tensorflow-tutorial