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
•Projects
I enjoy creating and developing innovative solutions. The following projects were initiated and primarily developed by me, reflecting my expertise and interests across research and engineering.
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
•