Forward-Backward Reasoning in Large Language Models for Mathematical Verification

Open in new window