Proof-Carrying Neuro-Symbolic Code
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912331274911744 |
|---|---|
| author | Komendantskaya, Ekaterina |
| author_facet | Komendantskaya, Ekaterina |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2504_12031 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Proof-Carrying Neuro-Symbolic Code Komendantskaya, Ekaterina Programming Languages Artificial Intelligence Logic in Computer Science F.3.1; F.3.2; F.3.3; I.2.0 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. |
| title | Proof-Carrying Neuro-Symbolic Code |
| topic | Programming Languages Artificial Intelligence Logic in Computer Science F.3.1; F.3.2; F.3.3; I.2.0 |
| url | https://arxiv.org/abs/2504.12031 |