Projects

USFlows: Flow models with density preserving latent space alignment featured image

USFlows: Flow models with density preserving latent space alignment

USFlows provides a rigorous implementation of flow models with a constant Jacobian determinant, ensuring uniformly scaling transformations. The framework offers robust theoretical …

Faried Abu Zaid
Read more
AutStr: Symbolic Infinite Structures in Python featured image

AutStr: Symbolic Infinite Structures in Python

AutStr is a Python library for symbolic representation and manipulation of infinite relational structures. It provides automata-based computation, first-order logic queries, and …

Faried Abu Zaid
Read more