Tag
This paper introduces CALVER, a training-free symbolic verifier that scores structured causal reasoning traces against Pearl's criteria to select the best candidate, outperforming plurality voting and other selection methods on causal reasoning benchmarks where multiple valid answers exist.