Verge: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning

(arxiv.org) by vikashjohn2505 | Jan 29, 2026 | 2 comments on HN