Hello, Pan. Thank you for your open source.
When I run
cd theorem_predict
python eval_transformer.py,
the following error occurs.

ch/InterGPS/assets/92729038/5002af0a-eb18-4614-aca5-b2337b31c623)
How can I solve this problem?
Hello, Pan. Thank you for your open source.
When I run

cd theorem_predict
python eval_transformer.py,
the following error occurs.

How can I solve this problem?