VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning

Open paper

Benchmark	Model	Rank	Results
logic-puzzle-solving-on-zebralogic	VERGE (GPT-OSS-120B)	–	Accuracy: 91.0