CREDITS.md

Credits

• The montecarlo library is adapted from ImparaAI/monte-carlo-tree-search.
• The pySagredo library is adapted from zhangir-azerbayev/pySagredo.
• The leanprover-community/repl library is used as a clone.
• The inspiration comes from Planning with Large Language Models for Code Generation (ICLR 2023).
• run_meta.py is inspired by Tarun Prasad's coq-prover, and some of the code snippets are adapted from there.
• The Clover benchmark is from https://github.com/ChuyueSun/Clover/tree/main