English

Proof-Carrying Neuro-Symbolic Code

Programming Languages 2025-04-17 v1 Artificial Intelligence Logic in Computer Science
Authors: Ekaterina Komendantskaya
View on arXiv ↗ PDF ↗

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.

Cite

@article{arxiv.2504.12031,
  title  = {Proof-Carrying Neuro-Symbolic Code},
  author = {Ekaterina Komendantskaya},
  journal= {arXiv preprint arXiv:2504.12031},
  year   = {2025}
}

Comments

Invited paper at CiE 2025. arXiv admin note: text overlap with arXiv:2501.05867

Related papers

View all related →
Machine Learning · Computer Science
A Survey on Neural-symbolic Learning Systems
Dongran Yu, Bo Yang, Dayou Liu, Hui Wang +1
2023-06-27
Artificial Intelligence · Computer Science
A Semantic Framework for Neuro-Symbolic Computing
Simon Odense, Artur d'Avila Garcez
2024-11-28
Artificial Intelligence · Computer Science
Taxonomic Networks: A Representation for Neuro-Symbolic Pairing
Zekun Wang, Ethan L. Haarer, Nicki Barari, Christopher J. MacLellan
2025-06-02
Biological Physics · Physics
Symbols and synergy in a neural code
N. Brenner, S. P. Strong, R. Koberle, W. Bialek +1
2007-05-23
Artificial Intelligence · Computer Science
Neuro-Symbolic Verification of Deep Neural Networks
Xuan Xie, Kristian Kersting, Daniel Neider
2022-03-03
Artificial Intelligence · Computer Science
Neurosymbolic AI: The 3rd Wave
Artur d'Avila Garcez, Luis C. Lamb
2020-12-18
Artificial Intelligence · Computer Science
Neural-Symbolic Learning and Reasoning: A Survey and Interpretation
Tarek R. Besold, Artur d'Avila Garcez, Sebastian Bader, Howard Bowman +10
2017-11-13
Artificial Intelligence · Computer Science
Neurosymbolic Programming for Science
Jennifer J. Sun, Megan Tjandrasuwita, Atharva Sehgal, Armando Solar-Lezama +3
2022-11-08
Artificial Intelligence · Computer Science
Deciphering Raw Data in Neuro-Symbolic Learning with Provable Guarantees
Lue Tao, Yu-Xuan Huang, Wang-Zhou Dai, Yuan Jiang
2024-01-24
Artificial Intelligence · Computer Science
Neural-Symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning
Artur d'Avila Garcez, Marco Gori, Luis C. Lamb, Luciano Serafini +2
2019-05-16
Artificial Intelligence · Computer Science
Neuro-Symbolic AI: Explainability, Challenges, and Future Trends
Xin Zhang, Victor S. Sheng
2024-11-08
Artificial Intelligence · Computer Science
Neuro-Symbolic Concepts
Jiayuan Mao, Joshua B. Tenenbaum, Jiajun Wu
2025-05-12
Artificial Intelligence · Computer Science
A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge
Luca Salvatore Lorello, Marco Lippi, Stefano Melacci
2025-05-09
Artificial Intelligence · Computer Science
Neural, Symbolic and Neural-Symbolic Reasoning on Knowledge Graphs
Jing Zhang, Bo Chen, Lingxi Zhang, Xirui Ke +1
2021-04-01
Machine Learning · Computer Science
Neural Symbolic Regression that Scales
Luca Biggio, Tommaso Bendinelli, Alexander Neitz, Aurelien Lucchi +1
2021-06-14
Neurons and Cognition · Quantitative Biology
Codes, communication and cognition
Stevan Harnad
2019-12-04
Artificial Intelligence · Computer Science
A short Survey: Exploring knowledge graph-based neural-symbolic system from application perspective
Shenzhe Zhu, Shengxiang Sun
2025-02-19
Computation and Language · Computer Science
Neural Semantic Parsing with Extremely Rich Symbolic Meaning Representations
Xiao Zhang, Gosse Bouma, Johan Bos
2024-09-19
Instrumentation and Detectors · Physics
Symbolic sensors : one solution to the numerical-symbolic interface
Eric Benoit, Laurent Foulloy
2007-05-23
Artificial Intelligence · Computer Science
Formal Explanations for Neuro-Symbolic AI
Sushmita Paul, Jinqiang Yu, Jip J. Dekker, Alexey Ignatiev +1
2024-10-21
Machine Learning · Computer Science
Neuro-Symbolic Continual Learning: Knowledge, Reasoning Shortcuts and Concept Rehearsal
Emanuele Marconato, Gianpaolo Bontempo, Elisa Ficarra, Simone Calderara +2
2023-12-20
Artificial Intelligence · Computer Science
Neural-Symbolic Argumentation Mining: an Argument in Favor of Deep Learning and Reasoning
Andrea Galassi, Kristian Kersting, Marco Lippi, Xiaoting Shao +1
2020-01-29
Logic in Computer Science · Computer Science
Lissom, a Source Level Proof Carrying Code Platform
Joao Gomes, Daniel Martins, Simao Melo de Sousa, Jorge Sousa Pinto
2008-12-18
Artificial Intelligence · Computer Science
Neuro-Symbolic AI: An Emerging Class of AI Workloads and their Characterization
Zachary Susskind, Bryce Arden, Lizy K. John, Patrick Stockton +1
2021-09-14
Machine Learning · Computer Science
Generating new concepts with hybrid neuro-symbolic models
Reuben Feinman, Brenden M. Lake
2020-06-11
R2 v1 2026-06-28T23:00:28.437Z