TY  - RPRT
TI  - Proof-Carrying Neuro-Symbolic Code
AU  - Ekaterina Komendantskaya
PY  - 2025
UR  - https://arxiv.org/abs/2504.12031
ID  - 2504.12031
ER  -