How to process downstream data like MiniF2F?

Thank you for your great job. It is useful for LLM training.

You have shared the scripts on general data. However, I met some problems while process domain data like Math. Could you tell me how to process MiniF2F data. What is the field used in MiniF2F?

