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