本文研究了神经符号计算中的两个问题：深度学习是否能解决逻辑中的挑战性问题，神经网络是否能学习逻辑语义。通过训练Transformer预测LTL公式的解，使用传统求解器生成训练数据，研究表明这种方法有效。
完成下面两步后，将自动完成登录并继续当前操作。
