Dynamic column widths

app.py

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