@misc{indiciaed08da876f40b,
  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},
  url = {https://arxiv.org/abs/2601.20055},
  note = {Source identifier: 2601.20055}
}