TY  - RPRT
TI  - Neuro-Symbolic Software Verification: Hyper-charging Local Language Models with Symbolic Reasoning at Scale
AU  - Muhammad A. A. Pirzada
AU  - Julian Parsert
AU  - Weiqi Wang
AU  - Konstantin Korovin
AU  - Lucas C. Cordeiro
PY  - 2026
UR  - https://arxiv.org/abs/2606.16886
ID  - 2606.16886
ER  -