1 briefs tagged #calver.
A symbolic verifier outperformed voting and judge methods on multi-answer causal queries.