ICanFlyGFC

Thanks!

It would be my pleasure and I am still working on my project.

Thank you for your reply! The script is same as yours. I only change the file name of output. #!/usr/bin/env python # coding: utf-8 import json import ast from tqdm...

Thank you Pan! I can run your script to get the corresponding results. But I am focus on theorem predictor. I wonder how to generate ../theorem_predict/results/pred_seq_result_bart_epoch19_seq5.json. I also found that...

Thanks, Pan! I follow the instruction at https://github.com/lupantech/InterGPS#theorem-predictor. I download the pre-trained model at step 4. But the evaluation results are empty in step 5. Thanks! Best, Fucheng

Thanks, Pan. Sure. Thank you for your work and look forward to your new achievements. Your paper and code have inspired me a lot. Best, Fucheng