@misc{indiciaea6d79a2d7cdb, title = {When Many Answers Are Valid, Voting Fails: Symbolic Verification for Best-of-K Causal Reasoning in LLMs}, author = {Omatharv Bharat Vaidya and Connor Thomas Jerzak and Zayne Rea Sprague and Fangcong Yin and Nhat Ho}, year = {2026}, url = {https://arxiv.org/abs/2608.03506}, note = {Source identifier: 2608.03506} }