VerifyCoT Ling et al. (2023) devises a Natural Program, a deductive reasoning form, which allows models to produce accurate reasoning steps, with each subsequent step strictly based on the previous steps. DiVeRSe Li et al. (2022) utilizes a voting mechanism to eliminate incorrect answers, followed by a fine-grained verification of each reasoning step independently. SCREWSShridhar et al. (2023) thinks that the post-modification result may not necessarily be superior to the origin, so it introduces a selection module to select a better result between the origin and modification. To facilitate knowledge-intensive tasks, Verify-and-Edit Zhao et al. (2023) incorporates external knowledge to re-reason uncertain examples, reducing factual mistakes in reasoning. Some research efforts attempt to unearth the internal knowledge of models. Some research efforts attempt to unearth the internal knowledge of models.