Spaces:
Running
Running
File size: 1,347 Bytes
085a012 742f074 d2c3c09 085a012 d2c3c09 085a012 b8aea20 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 | import gradio as gr
import pandas as pd
# Import our UI factories and the data loader
from ui_components import create_leaderboard_display, create_benchmark_details_display, get_full_leaderboard_data, create_sub_navigation_bar
def build_category_page(CATEGORY_NAME, PAGE_DESCRIPTION):
with gr.Column(elem_id="page-content-wrapper"):
test_df, test_tag_map = get_full_leaderboard_data("test")
gr.HTML(f'<h2>OpenHands Index {CATEGORY_NAME} Leaderboard <span style="font-weight: normal; color: inherit;">(Aggregate)</span></h2>', elem_id="main-header")
with gr.Column(elem_id="test_nav_container", visible=True) as test_nav_container:
create_sub_navigation_bar(test_tag_map, CATEGORY_NAME)
gr.Markdown(PAGE_DESCRIPTION, elem_id="intro-category-paragraph")
if not test_df.empty:
create_leaderboard_display(
full_df=test_df,
tag_map=test_tag_map,
category_name=CATEGORY_NAME,
split_name="test"
)
create_benchmark_details_display(
full_df=test_df,
tag_map=test_tag_map,
category_name=CATEGORY_NAME,
validation=False,
)
else:
gr.Markdown("No data available.")
return test_nav_container |