加载中…
2025-04-16
Proof-Carrying Neuro-Symbolic Code
Ekaterina Komendantskaya
文献摘要
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.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本