arXiv · cs.RO· Benedict Quartey·· 1 天前AI 评分52
论文探讨可验证机器人：神经符号方法统一学习模型与符号结构
Scaling Trusted Autonomy: Towards Generally Capable Verifiable Robots
AI 导读
Benedict Quartey 的论文提出，要让机器人可信自主规模化，需采用神经符号方法，把学习模型的泛化能力与符号结构结合。
来源：arXiv · cs.RO · arxiv.org
论文探讨可验证机器人：神经符号方法统一学习模型与符号结构