The paper defines proof-carrying neuro-symbolic code, a research program for delivering neural-network-containing software with formal safety proofs, and reviews early tools and challenges.
Annals of Pure and Ap- plied Logic 147(1), 23–47 (2007)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Proof-Carrying Neuro-Symbolic Code
The paper defines proof-carrying neuro-symbolic code, a research program for delivering neural-network-containing software with formal safety proofs, and reviews early tools and challenges.