Explore projects
-
Updated
-
Updated
-
Description: Python package sbmlxdf. Converts between SBML (.xml) and Pandas dataframes, Excel spreadsheets (.xlsx), *.csv. SBML model creation, modification, validation and access.
Updated -
-
Updated
-
Tool for translating B to TLA+ for model checking with TLC. Alternative model checking backend for ProB.
Updated -
Updated
-
Public Jupyter teaching notebooks for use with the ProB kernel for Jupyter.
Updated -
Public codebase for "Local Topology Measures of Contextual Language Model Latent Spaces With Applications to Dialogue Term Extraction" published in SIGDIAL 2024.
Updated -
-
-
Repository for the Masters Thesis "Debiasing Text-to-Image Diffusion Models" and the corresponding pipeline Debias DIffusion
Updated -
-
Updated
-
Updated
-
Updated
-
Updated