This site has been deprecated, please refer to https://github.com/TIGER-AI-Lab/TheoremQA for the newest version. The new version uses in-context learning, and also gets rid of `LLM answer extraction'. It's much simpler! Please give it a try!