Dynamic column widhts

app.py

@@ -68,7 +68,7 @@ def init_leaderboard(dataframe, benchmark_type):
     return gr.components.Dataframe(
         value=dataframe,
         datatype=[c.type for c in AutoEvalColumnSubset],
-        # column_widths=[f"{str(10*len(c.name))}px" if c.name != "Model" else "250px" for c in AutoEvalColumnSubset],
+        column_widths=[f"{25*len(c.name)}px" if c.name != "Model" else "250px" for c in AutoEvalColumnSubset],
     )