TY  - RPRT
TI  - Neuro-Formal Verification: Agentic Language-Agnostic Formal Program Reasoning
AU  - Shuvendu K. Lahiri
PY  - 2026
UR  - https://arxiv.org/abs/2608.21516
ID  - 2608.21516
ER  -