Proof-Carrying Neuro-Symbolic Code

要約

この招待された論文は、「神経系コード」の「プルーフを運ぶ神経系コード」の概念を紹介し、「神経」と「象徴的な」視点の両方から、その意味と価値を説明します。
この講演は、この新しい研究が直面している最初の成功と課題の概要を示しています。

要約(オリジナル)

This invited paper introduces the concept of ‘proof-carrying neuro-symbolic code’ and explains its meaning and value, from both the ‘neural’ and the ‘symbolic’ perspectives. The talk outlines the first successes and challenges that this new area of research faces.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google