Update headers

app.py

@@ -171,12 +171,12 @@ with demo:
                     with gr.Row():
                         shown_columns = gr.CheckboxGroup(
                             choices=[
-                                c.name
+                                c.display_name
                                 for c in fields(AutoEvalColumn)
                                 if not c.hidden and not c.never_hidden and not c.dummy
                             ],
                             value=[
-                                c.name
+                                c.display_name
                                 for c in fields(AutoEvalColumn)
                                 if c.displayed_by_default and not c.hidden and not c.never_hidden
                             ],
@@ -211,7 +211,7 @@ with demo:
                 """
             leaderboard_table = gr.components.Dataframe(
                 value=leaderboard_df[
-                    [c.display_name for c in fields(AutoEvalColumn) if c.never_hidden]
+                    [c.name for c in fields(AutoEvalColumn) if c.never_hidden]
                     + shown_columns.value
                     
                 ],