repository dedicated to property guided Vector Symbolic Architecture Discovery. The proposition is to employ gen-AI and formal methods to explore the space of vector symbolic architectures that satisfy desired set of algebraic properties. - View it on GitHub