Spaces:

wenhu
/

Science-Leaderboard

Running

wenhu commited on Apr 12, 2024

Commit

a4eea24

verified ·

1 Parent(s): 6590844

Update utils.py

Files changed (1) hide show

utils.py CHANGED Viewed

@@ -74,6 +74,7 @@ def get_df():
     repo.git_pull()
     df = pd.read_csv(CSV_DIR)
     df['Avg'] = df[['TheoremQA', 'MATH', 'GSM']].mean(axis=1).round(1)
     return df[COLUMN_NAMES]
 def add_new_eval(

     repo.git_pull()
     df = pd.read_csv(CSV_DIR)
     df['Avg'] = df[['TheoremQA', 'MATH', 'GSM']].mean(axis=1).round(1)
+    df = df.sort_values(by=['Avg'])
     return df[COLUMN_NAMES]
 def add_new_eval(