Logic-Regularized Verifier Elicits Reasoning from LLMs

arXiv:2605.05893v1 Announce Type: cross Abstract: Verifiers are crucial components for enhancing modern LLMs' reasoning capability. Typicalverifiers require resource-intensive superviseddataset construction, which is costly and faceslimitations in data diversity. In this paper, wepropose LOVER, an...