eval_TheoremQA.py 1012 Bytes