Explore projects

Public Jupyter teaching notebooks for use with the ProB kernel for Jupyter.
Updated 
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

Tool for translating B to TLA+ for model checking with TLC. Alternative model checking backend for ProB.
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 
Repository for the Masters Thesis "Debiasing TexttoImage Diffusion Models" and the corresponding pipeline Debias DIffusion
Updated 


Updated

Updated

Updated

Updated