Explore projects

Updated

Updated

Tool for translating B to TLA+ for model checking with TLC. Alternative model checking backend for ProB.
Updated 
Repository for the Masters Thesis "Debiasing TexttoImage Diffusion Models" and the corresponding pipeline Debias DIffusion
Updated 


Public codebase for "Local Topology Measures of Contextual Language Model Latent Spaces With Applications to Dialogue Term Extraction" published in SIGDIAL 2024.
Updated 
Updated

Updated

Updated

Updated



Updated

Updated

Public codebase for "Dialogue Term Extraction using Transfer Learning and Topological Data Analysis" published at SIGDIAL 2022.
Updated 
Skript zur Vorlesung Data Science im Informatik Bachelor an der HHU
WebVersion: https://voelkel.pages.cs.uniduesseldorf.de/dsskript
Updated