CALVER is a training-free symbolic verifier that selects the best-of-K LLM causal answer by checking each trace against graph-validity criteria, outperforming plurality when multiple valid answers exist.
The Twelfth International Conference on Learning Representations , year =
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
When Many Answers Are Valid, Voting Fails: Symbolic Verification for Best-of-K Causal Reasoning in LLMs
CALVER is a training-free symbolic verifier that selects the best-of-K LLM causal answer by checking each trace against graph-validity criteria, outperforming plurality when multiple valid answers exist.