Neuro-symbolic Models for Interpretable Time Series Classification using Temporal Logic Description | Read Paper on Bytez