conftrace_

verifier elicitation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

contrastive ranking (1) logical rule (1) large language model (1) logical constraint (1) unsupervised verifier (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