BriefGPT.xyz
Ask
alpha
关键词
symbolic search
搜索结果 - 3
利用下一步监督生成自然语言推理中的中间步骤
通过序列到序列模型结合外部知识和符号搜索,在仅有下一步监督的情况下,生成了中间步骤,并证明其正确性,而这些生成的步骤可以通过简单的数据扩增策略,提高多个公共 NLI 数据集的综合性能。
PDF
2 years ago
符号搜索与表达式扩展的最优规划
在经典计划中,为了满足智能体的目标,目标是制定一系列行动方案。扩展规划是用于捕获和模拟不同类型的推理问题的一种表达方式。本文中,我们提出使用符号搜索进行成本最优规划,为经典计划的不同表达扩展,包括公理、状态依赖性操作成本、过度订阅计划和前
→
PDF
2 years ago
ICML
学习推理程序草图
本文介绍一种用于程序自动合成的方法,通过结合模式识别和显式推理来解决这些复杂的编程问题,同时使用新颖的中间表示和训练算法,使程序合成系统能够自学,从而在简单的英文描述编程问题数据集上取得了最先进的性能表现。
PDF
5 years ago
Prev
Next