Introduce Backward Reasoning to Mathematical Verification

- A simple template is proposed to create backward questions: We mask a number in the question, and append the template with a candidate answer
- We design a CoT prompt for the LLM to predict the masked number
- We estimate the probability of the candidate answer based on the number of correct chains in the backward direction