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.
In: Gurfinkel, A., Ganesh, V
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.