Search for a command to run...
A Theoretical Study on Bridging Internal Probability and Self-Consistency for LLM Reasoning