Submitted by Vikash Singh 6 VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning Amazon Web Services (AWS) 2