Proof-carrying neuro-symbolic code
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.
Neural networks, Verification, Neyro-Symbolic Programs
76-87
Komendantskaya, Ekaterina
f12d9c23-5589-40b8-bcf9-a04fe9dedf61
20 June 2025
Komendantskaya, Ekaterina
f12d9c23-5589-40b8-bcf9-a04fe9dedf61
Komendantskaya, Ekaterina
(2025)
Proof-carrying neuro-symbolic code.
Beckmann, A., Oitavem, I. and Manea, F.
(eds.)
In Crossroads of Computability and Logic: Insights, Inspirations, and Innovations.
Springer Cham.
.
(doi:10.1007/978-3-031-95908-0_6).
Record type:
Conference or Workshop Item
(Paper)
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.
Text
2504.12031v1 (1)
- Accepted Manuscript
Restricted to Repository staff only until 20 June 2026.
Available under License Other.
Request a copy
More information
Published date: 20 June 2025
Keywords:
Neural networks, Verification, Neyro-Symbolic Programs
Identifiers
Local EPrints ID: 509217
URI: http://eprints.soton.ac.uk/id/eprint/509217
ISSN: 0302-9743
PURE UUID: 6e204745-2d99-47cb-8fed-e0d29f5fec13
Catalogue record
Date deposited: 13 Feb 2026 17:37
Last modified: 14 Feb 2026 03:10
Export record
Altmetrics
Contributors
Author:
Ekaterina Komendantskaya
Editor:
A. Beckmann
Editor:
I. Oitavem
Editor:
F. Manea
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics