本文综述了线性时序逻辑（LTL）学习与神经符号计算的多项研究，涵盖LTL公式学习算法、Transformer预测LTL解、SMT与定理证明方法、深度强化学习指令跟随，以及图表示学习加速模型检测，并探讨了LTL学习的NP完全复杂性。