Forward-Backward Reasoning in Large Language Models for Mathematical Verification install packages: pip install openai, tqdm, numpy set your OpenAI API Key: export APIKEY="xxx" run the script (Note: you can choose the LLM, base prompt, dataset in the file run_fobar.sh.) cd code bash -x run_fobar.sh