SelfCheck: Using LLMs to Zero-Shot Check Their Own Step-by-Step Reasoning. - Miao, Ning; Teh, Yee Whye; Rainforth, Tom (CoRR, 2023)