Forward-Backward Reasoning in Large Language Models for Mathematical Verification

June 5, 2024 ยท View on GitHub

  1. install packages: pip install openai, tqdm, numpy
  2. set your OpenAI API Key: export APIKEY="xxx"
  3. 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