// projects

A selection of things I’ve built or contributed to.

Research

Formal verification of ML Models

Gonna write about this soon

Entropy-based architectures

This as well

Open source

Superblocks Budapest

Making automated superblocks for Budapest

See more on GitHub.