XufengDuan commited on
Commit
2f756c5
1 Parent(s): 9acf026

update scripts

Browse files
.idea/inspectionProfiles/profiles_settings.xml ADDED
@@ -0,0 +1,6 @@
 
 
 
 
 
 
 
1
+ <component name="InspectionProjectProfileManager">
2
+ <settings>
3
+ <option name="USE_PROJECT_PROFILE" value="false" />
4
+ <version value="1.0" />
5
+ </settings>
6
+ </component>
src/populate.py CHANGED
@@ -19,7 +19,7 @@ def get_leaderboard_df(results_path: str, requests_path: str, cols: list, benchm
19
  print("all results:",df.to_string())
20
  # exit()
21
  try:
22
- df = df[cols].round(decimals=2)
23
  # filter out if any of the benchmarks have not been produced
24
  df = df[formatting.has_no_nan_values(df, benchmark_cols)]
25
  except:
 
19
  print("all results:",df.to_string())
20
  # exit()
21
  try:
22
+ df = df[cols].round(decimals=3)
23
  # filter out if any of the benchmarks have not been produced
24
  df = df[formatting.has_no_nan_values(df, benchmark_cols)]
25
  except: