TheoremQA_gen_ef26ca.py 1.63 KB