MindStar: Enhancing Math Reasoning in Pre-trained LLMs at Inference Time. - Jikun Kang; Xin Zhe Li; Xi Chen; Amirreza Kazemi; Boxing Chen (CoRR, 2024)