Update app.py

app.py

@@ -15,16 +15,23 @@ df = pd.read_csv("benchmark_overview_data.csv")
 # Display DataFrame in a nicely formatted table using AgGrid
 st.write("### Benchmark Details Table")
 
+# Display DataFrame in a nicely formatted table using AgGrid
+st.write("### Benchmark Details Table")
+
+# Add a selectbox for filtering by evaluated task or showing all
+task_options = ["All"] + list(df["Evaluated task"].unique())
+selected_task = st.selectbox("Select an Evaluated Task", options=task_options)
+
+# Filter data if a specific task is selected
+if selected_task != "All":
+    filtered_data = df[df["Evaluated task"] == selected_task]
+else:
+    filtered_data = df
+
 # Configure AgGrid options
-builder = GridOptionsBuilder.from_dataframe(df)
+builder = GridOptionsBuilder.from_dataframe(filtered_data)
 builder.configure_default_column(resizable=True, wrapText=True, autoHeight=False)  # Disable autoHeight
 builder.configure_grid_options(domLayout='normal', rowHeight=40)  # Set fixed row height
 options = builder.build()
 
-AgGrid(df, gridOptions=options, height=400, fit_columns_on_grid_load=True, theme="streamlit")
-
-# Optionally add additional details or filters
-st.write("### Explore Benchmarks")
-selected_task = st.selectbox("Select an Evaluated Task", options=df["Evaluated task"].unique())
-filtered_data = df[df["Evaluated task"] == selected_task]
-st.write(filtered_data)
+AgGrid(filtered_data, gridOptions=options, height=600, fit_columns_on_grid_load=True, theme="streamlit")  # Display filtered or full data