stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic

Re-assign community