SelfCheck: Using LLMs to Zero-Shot Check Their Own Step-by-Step Reasoning - Miao, Ning; Teh, Yee Whye; Rainforth, Tom (International Conference on Learning Representations, 2024)