Seems to be working, now to check if timer runs in background for

app.py

@@ -47,15 +47,20 @@ def get_leaderboard_object(assay: str | None = None):
 current_dataframe = fetch_hf_results()
 
 with gr.Blocks() as demo:
-    timer = gr.Timer(10)
+    timer = gr.Timer(3)  # Run every 3 seconds when page is focused
+    data_version = gr.State(value=0)  # Track data changes
     
     def update_current_dataframe():
         global current_dataframe
-        current_dataframe = fetch_hf_results()
-        # Don't return anything, just update the global dataframe
+        new_dataframe = fetch_hf_results()
+        
+        # Check if data has actually changed
+        if not current_dataframe.equals(new_dataframe):
+            current_dataframe = new_dataframe
+            return data_version.value + 1  # Increment version to trigger updates
+        return data_version.value
     
-    timer.tick(fn=update_current_dataframe)  # Keep this up to date, all leaderboard objects will use this
-    timers = [gr.Timer(10) for _ in range(6)]  # One timer for each tab
+    timer.tick(fn=update_current_dataframe, outputs=data_version)
     
     # TODO: Add Ginkgo logo here on the top right
     gr.Markdown("""
@@ -83,25 +88,31 @@ with gr.Blocks() as demo:
                     gr.Markdown(f"*{answer}*")  # Italics for answers
 
         # Procedurally make these 5 tabs
-        leaderboards = []
         for i, assay in enumerate(ASSAY_LIST):
             with gr.TabItem(
                 f"{ASSAY_EMOJIS[assay]} {ASSAY_RENAME[assay]}",
                 elem_id="abdev-benchmark-tab-table",
-            ):
+            ) as tab_item:
                 gr.Markdown(f"# {ASSAY_DESCRIPTION[assay]}")
                 lb = get_leaderboard_object(assay=assay)
-                leaderboards.append(lb)
-                timers[i].tick(fn=lambda _, assay=assay: format_leaderboard_table(df_results=current_dataframe, assay=assay), inputs=leaderboards[i], outputs=leaderboards[i])
-
-        with gr.TabItem("🚀 Overall", elem_id="abdev-benchmark-tab-table"):
+                
+                def refresh_leaderboard(assay=assay):
+                    return format_leaderboard_table(df_results=current_dataframe, assay=assay)
+                
+                # Refresh when data version changes
+                data_version.change(fn=refresh_leaderboard, outputs=lb)
+
+        with gr.TabItem("🚀 Overall", elem_id="abdev-benchmark-tab-table") as overall_tab:
             gr.Markdown(
                 "# Antibody Developability Benchmark Leaderboard over all properties"
             )
             lb = get_leaderboard_object()
-            leaderboards.append(lb)
-            # Replace the value every 10 seconds
-            timers[5].tick(fn=lambda _: format_leaderboard_table(df_results=current_dataframe), inputs=leaderboards[5], outputs=leaderboards[5])
+            
+            def refresh_overall_leaderboard():
+                return format_leaderboard_table(df_results=current_dataframe)
+            
+            # Refresh when data version changes
+            data_version.change(fn=refresh_overall_leaderboard, outputs=lb)
 
         with gr.TabItem("✉️ Submit", elem_id="boundary-benchmark-tab-table"):
             gr.Markdown(