conftrace_

unsupervised verifier

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

logical constraint (1) large language model (1) contrastive ranking (1) logical rule (1) verifier elicitation (1) reasoning path (1) logical consistency (1) reasoning capability (1) reasoning verification (1) latent variable (1)

Papers

Logic-Regularized Verifier Elicits Reasoning from LLMs ACL 2025