@misc{indiciaec1d2efa3d3ba,
  title = {Neuro-Formal Verification: Agentic Language-Agnostic Formal Program Reasoning},
  author = {Shuvendu K. Lahiri},
  year = {2026},
  url = {https://arxiv.org/abs/2608.21516},
  note = {Source identifier: 2608.21516}
}