Proof-Carrying Neuro-Symbolic Code

Ekaterina Komendantskaya

doi:10.1007/978-3-031-95908-0_6

Proof-Carrying Neuro-Symbolic Code

Ekaterina Komendantskaya^*

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

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.

Original language	English
Title of host publication	Crossroads of Computability and Logic: Insights, Inspirations, and Innovations. CiE 2025
Editors	Arnold Beckmann, Isabel Oitavem, Florin Manea
Publisher	Springer
Pages	76-87
Number of pages	12
ISBN (Electronic)	9783031959080
ISBN (Print)	9783031959073
DOIs	https://doi.org/10.1007/978-3-031-95908-0_6
Publication status	Published - 20 Jun 2025
Event	21st Conference on Computability in Europe 2025 - Lisbon, Portugal Duration: 14 Jul 2025 → 18 Jul 2025

Publication series

Name	Lecture Notes in Computer Science
Volume	15764
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	21st Conference on Computability in Europe 2025
Abbreviated title	CiE 2025
Country/Territory	Portugal
City	Lisbon
Period	14/07/25 → 18/07/25

Keywords

Cyber-Physical System Verification
Neural Networks
Neuro-Symbolic Programs
Programming Languages

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-031-95908-0_6

Cite this

@inproceedings{91fb574ca2514ad9baf0312d7754071f,

title = "Proof-Carrying Neuro-Symbolic Code",

abstract = "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.",

keywords = "Cyber-Physical System Verification, Neural Networks, Neuro-Symbolic Programs, Programming Languages",

author = "Ekaterina Komendantskaya",

note = "Publisher Copyright: {\textcopyright} The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.; 21st Conference on Computability in Europe 2025, CiE 2025 ; Conference date: 14-07-2025 Through 18-07-2025",

year = "2025",

month = jun,

day = "20",

doi = "10.1007/978-3-031-95908-0\_6",

language = "English",

isbn = "9783031959073",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "76--87",

editor = "Arnold Beckmann and Isabel Oitavem and Florin Manea",

booktitle = "Crossroads of Computability and Logic: Insights, Inspirations, and Innovations. CiE 2025",

}

Komendantskaya, E 2025, Proof-Carrying Neuro-Symbolic Code. in A Beckmann, I Oitavem & F Manea (eds), Crossroads of Computability and Logic: Insights, Inspirations, and Innovations. CiE 2025. Lecture Notes in Computer Science, vol. 15764, Springer, pp. 76-87, 21st Conference on Computability in Europe 2025, Lisbon, Portugal, 14/07/25. https://doi.org/10.1007/978-3-031-95908-0_6

Proof-Carrying Neuro-Symbolic Code. / Komendantskaya, Ekaterina.
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations. CiE 2025. ed. / Arnold Beckmann; Isabel Oitavem; Florin Manea. Springer, 2025. p. 76-87 (Lecture Notes in Computer Science; Vol. 15764).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Proof-Carrying Neuro-Symbolic Code

AU - Komendantskaya, Ekaterina

N1 - Publisher Copyright: © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

PY - 2025/6/20

Y1 - 2025/6/20

N2 - 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.

AB - 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.

KW - Cyber-Physical System Verification

KW - Neural Networks

KW - Neuro-Symbolic Programs

KW - Programming Languages

UR - https://www.scopus.com/pages/publications/105009322957

U2 - 10.1007/978-3-031-95908-0_6

DO - 10.1007/978-3-031-95908-0_6

M3 - Conference contribution

AN - SCOPUS:105009322957

SN - 9783031959073

T3 - Lecture Notes in Computer Science

SP - 76

EP - 87

BT - Crossroads of Computability and Logic: Insights, Inspirations, and Innovations. CiE 2025

A2 - Beckmann, Arnold

A2 - Oitavem, Isabel

A2 - Manea, Florin

PB - Springer

T2 - 21st Conference on Computability in Europe 2025

Y2 - 14 July 2025 through 18 July 2025

ER -

Proof-Carrying Neuro-Symbolic Code

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Embargoed Document

Fingerprint

Cite this