import matplotlib matplotlib.use('Agg') import gradio as gr from ui_components import create_leaderboard_display, get_full_leaderboard_data from content import ( CITATION_BUTTON_LABEL, CITATION_BUTTON_TEXT, INTRO_PARAGRAPH ) # --- Global State for Viewers (simple caching) --- CACHED_VIEWERS = {} CACHED_TAG_MAPS = {} def build_page(): with gr.Row(elem_id="intro-row"): with gr.Column(scale=1): gr.HTML(INTRO_PARAGRAPH, elem_id="intro-paragraph") # --- Leaderboard Display Section --- gr.Markdown("---") CATEGORY_NAME = "Overall" gr.HTML(f'

OpenHands Index {CATEGORY_NAME} Leaderboard (Aggregate)

', elem_id="main-header") test_df, test_tag_map = get_full_leaderboard_data("test") if not test_df.empty: create_leaderboard_display( full_df=test_df, tag_map=test_tag_map, category_name=CATEGORY_NAME, split_name="test" ) else: gr.Markdown("No data available.") if __name__ == "__main__": demo.launch()