Explore projects

Kodkod Wrapper for ProB

Modified version of the TLA+ tools for usage in ProB

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

Repository for the Masters Thesis "Debiasing Text-to-Image Diffusion Models" and the corresponding pipeline Debias DIffusion

Chatbot-like interface for semantic search across FAQ for the Master's programme "AI & Data Science"

https://www.heicad.hhu.de/lehre/masters-programme-ai-and-data-science/hainrich