Neuro-Symbolic Computer Use

神经符号AI研究在约束形式化和策略学习方面取得进展 · 跟踪2个来源

两篇新研究论文探讨了应用神经符号AI技术来增强AI系统的能力。第一篇论文介绍了一个基准，用于使用大型语言模型（LLMs）从文本中自动形式化符号约束，以改进神经符号预测器，发现LLMs可以生成有效的约束。第二篇论文提出了一种神经符号计算机使用方法，其中学习到的策略处理重复性工作流程以提高可靠性和效率，在基准任务上的表现显著优于现有代理。