TY  - RPRT
TI  - When Many Answers Are Valid, Voting Fails: Symbolic Verification for Best-of-K Causal Reasoning in LLMs
AU  - Omatharv Bharat Vaidya
AU  - Connor Thomas Jerzak
AU  - Zayne Rea Sprague
AU  - Fangcong Yin
AU  - Nhat Ho
PY  - 2026
UR  - https://arxiv.org/abs/2608.03506
ID  - 2608.03506
ER  -