【论文随笔】Learning Signal Temporal Logic through Neural Network for Interpretable Classification

D. Li, M. Cai, C.-I. Vasile, and R. Tron, “Learning Signal Temporal Logic through Neural Network for Interpretable Classification.” arXiv, Oct. 04, 2022. doi: 10.48550/arXiv.2210.01910.

好久没有关注时序逻辑推理相关的文章了，这篇写得还不错，有点小bug但值得借鉴。

实在不知道zotero带图片的笔记该怎么导出，直接粘图片凑合存个档

笔记如下