@article{vergeformalrefinementandguidanceenginefo,
  title = {VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning},
  author = {Vikash Singh and Darion Cassel and Nathaniel Weir and Nick Feng and Sam Bayless},
  year = {2026},
  eprint = {2601.20055},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2601.20055},
}