Update space

app.py

@@ -112,10 +112,12 @@ def create_app(data_manager: DataManager):
         .metric-summary { margin: 1rem 0; padding: 1rem; background: #f7f7f7; border-radius: 4px; }
         .table-container { margin-top: 1rem; }
         .model-filter { margin-bottom: 1rem; }
+        .dataset-section { border: 1px solid #ddd; padding: 1rem; margin: 1rem 0; border-radius: 4px; }
         """) as demo:
         
         gr.Markdown("# Semi-structured Retrieval Benchmark (STaRK) Leaderboard")
         gr.Markdown("### An evaluation benchmark for semi-structured text retrieval")
+        gr.Markdown("Refer to the [STaRK paper](https://arxiv.org/pdf/2404.13207) for details on metrics, tasks and models.")
         
         with gr.Row():
             with gr.Column(scale=3):
@@ -147,16 +149,17 @@ def create_app(data_manager: DataManager):
             for source_name, source_df in data_sources:
                 with gr.TabItem(source_name):
                     for dataset in data_manager.datasets:
-                        with gr.Box():
-                            gr.Markdown(create_metric_summary(
-                                data_manager.format_dataframe(source_df, f"STARK-{dataset}"),
-                                dataset
-                            ))
-                            df_display = gr.DataFrame(
-                                interactive=False,
-                                elem_classes=["table-container"]
-                            )
-                            all_dataframes.append(df_display)
+                        with gr.Row(elem_classes=["dataset-section"]):
+                            with gr.Column():
+                                gr.Markdown(create_metric_summary(
+                                    data_manager.format_dataframe(source_df, f"STARK-{dataset}"),
+                                    dataset
+                                ))
+                                df_display = gr.DataFrame(
+                                    interactive=False,
+                                    elem_classes=["table-container"]
+                                )
+                                all_dataframes.append(df_display)
         
         def update_tables(selected_types: List[str], sort_metric: str):
             outputs = []