Update

app.py

@@ -3,6 +3,7 @@
 import os
 
 import gradio as gr
+import pandas as pd
 from gradio_calendar import Calendar
 
 from papers import PaperList, get_df
@@ -18,6 +19,11 @@ if (SPACE_ID := os.getenv("SPACE_ID")) is not None:
     scheduler = UpdateScheduler(space_id=SPACE_ID, cron_hour=CRON_HOUR, cron_minute=CRON_MINUTE)
     scheduler.start()
 
+
+def update_num_papers(df: pd.DataFrame) -> str:
+    return f"{len(df)} / {len(paper_list.df_raw)}"
+
+
 with gr.Blocks(css="style.css") as demo:
     gr.Markdown(DESCRIPTION)
     with gr.Group():
@@ -25,6 +31,8 @@ with gr.Blocks(css="style.css") as demo:
             start_date = Calendar(label="Start date", type="datetime", value="2023-05-05")
             end_date = Calendar(label="End date", type="datetime")
         search_title = gr.Textbox(label="Search by title")
+
+    num_papers = gr.Textbox(label="Number of papers", value=update_num_papers(paper_list.df_raw), interactive=False)
     df = gr.Dataframe(
         value=paper_list.df_prettified,
         datatype=paper_list.column_datatype,
@@ -42,6 +50,12 @@ with gr.Blocks(css="style.css") as demo:
         inputs=[start_date, end_date, search_title],
         outputs=df,
         api_name=False,
+    ).then(
+        fn=update_num_papers,
+        inputs=df,
+        outputs=num_papers,
+        queue=False,
+        api_name=False,
     )
 
 if __name__ == "__main__":