TY  - RPRT
TI  - VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning
AU  - Vikash Singh
AU  - Darion Cassel
AU  - Nathaniel Weir
AU  - Nick Feng
AU  - Sam Bayless
PY  - 2026
UR  - https://arxiv.org/abs/2601.20055
ID  - 2601.20055
ER  -