GPU 上的 LTL 学习

💡 原文中文,约300字,阅读约需1分钟。
📝

内容提要

本文研究了神经符号计算中的两个问题:深度学习是否能解决逻辑中的挑战性问题,神经网络是否能学习逻辑语义。通过训练Transformer预测LTL公式的解,使用传统求解器生成训练数据,研究表明这种方法有效。

🏷️

标签

➡️

继续阅读