A probabilistic programming language in TensorFlow. Deep generative models, variational inference.

Python class that generates pixel art from images

Training Very Deep Neural Networks Without Skip-Connections

[ICCV 2021] Aligning Latent and Image Spaces to Connect the Unconnectable

Wining solution and its further development for MICCAI 2017 Endoscopic Vision Challenge Angiodysplasia Detection and Localization

A system for computational category theory and applications

Various code related to the problem of cycle (circuit) double covers

Notebooks from the seminar "Codichte: experiments with cognitive systems", WS-20/21

Various code related to the problem of graph labelings (specifically, trees: graceful labelings, harmonious labelings)