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!