regarding minif2f eval

[baoshenghe0321]

Hi: from the code

DeepSeek-Math/evaluation/eval/eval_script.py

Line 171 in b8b0f8c

def eval_minif2f_isabelle(item, pred_key='prediction', prec=1e-3):

why it always output True, and if so, how we can make the eval?

thx.