Added table with tournament results for selected model

app.py

@@ -143,11 +143,23 @@ def fetch_model_detail(submission_id):
         gr.update(value=metadata['link_to_model'], visible=True)
     )
 
+def fetch_model_tournament_results_table(submission_id, category):
+    return gr.update(
+        value=leaderboard_server.get_model_tournament_table(submission_id, category),
+        visible=True,
+    )
+
 def change_leaderboard_category(category):
     if category == leaderboard_server.TASKS_CATEGORY_OVERALL:
         task_abbreviation_legend = gr.update(
             visible=False,
         )
+        tournament_results_dropdown = gr.update(
+            visible=False,
+        )
+        model_tournament_results_table = gr.update(
+            visible=False,
+        )
     else:
         task_abbreviation_legend_body = []
         
@@ -159,6 +171,12 @@ def change_leaderboard_category(category):
             value=task_abbreviation_legend_body,
             visible=True,
         )
+        
+        tournament_results_dropdown = gr.update(
+            visible=True,
+        )
+        
+        model_tournament_results_table = gr.update()
     
     return (
         gr.update(
@@ -167,6 +185,8 @@ def change_leaderboard_category(category):
             datatype="markdown",
         ),
         task_abbreviation_legend,
+        tournament_results_dropdown,
+        model_tournament_results_table,
     )
 
 def show_modal():
@@ -292,10 +312,45 @@ with gr.Blocks(theme=gr.themes.Soft(text_size=text_md), css=custom_css) as main:
                         elem_classes="leaderboard-table-legend",
                     )
                 
+                with gr.Row():
+                    gr.Markdown("## Tournament results for selected model")
+                    
+                    with leaderboard_server.var_lock.ro:
+                        tournament_results_dropdown = gr.Dropdown(
+                            value=None,
+                            choices=leaderboard_server.submission_ids,  # TODO: team_name/model_name
+                            label="Select model",
+                            visible=False,
+                            interactive=True,
+                        )
+                    
+                    model_tournament_results_table = gr.DataFrame(
+                        value=None,
+                        datatype="markdown",
+                        label="The model won against…",
+                        visible=False,
+                        interactive=False,
+                        elem_classes="leaderboard-table-model-details",
+                    )
+                
                 category_of_tasks.change(
                     fn=change_leaderboard_category,
                     inputs=category_of_tasks,
-                    outputs=[results_table, results_table_legend],
+                    outputs=[
+                        results_table,
+                        results_table_legend,
+                        tournament_results_dropdown,
+                        model_tournament_results_table,
+                    ],
+                )
+                
+                tournament_results_dropdown.change(
+                    fn=fetch_model_tournament_results_table,
+                    inputs=[
+                        tournament_results_dropdown,
+                        category_of_tasks,
+                    ],
+                    outputs=model_tournament_results_table,
                 )
 
         with gr.TabItem('Model details'):

server.py

@@ -214,6 +214,50 @@ class LeaderboardServer:
                 self.submission_ids.add(submission_id)
                 self.submission_id_to_file[submission_id] = submission_file
 
+    def get_model_tournament_table(self, submission_id, category):
+        if category == self.TASKS_CATEGORY_OVERALL:
+            return None
+        
+        model_tournament_table = []
+        match_results = {}
+        
+        with self.var_lock.ro:
+            for competitor_id in self.tournament_results[submission_id].keys() - {submission_id}: # without self
+                match_results["competitor_id"] = competitor_id
+                for task in self.tournament_results[submission_id][competitor_id]:
+                    task_category = self.TASKS_METADATA[task]["category"]
+                    if task_category == category:
+                        match_results[task] = bool(self.tournament_results[submission_id][competitor_id][task])
+                
+                model_tournament_table.append(match_results)
+            
+            dataframe = pd.DataFrame.from_records(model_tournament_table)
+            
+            extra_attributes_map_word_to_header = {
+                "competitor_id": "Competitor",
+            }
+            first_attributes = [
+                "competitor_id",
+            ]
+            df_order = [
+                key
+                for key in dict.fromkeys(
+                    first_attributes
+                    + sorted(
+                        list(self.TASKS_METADATA.keys())
+                        + list(dataframe.columns)
+                    )
+                ).keys()
+                if key in dataframe.columns
+            ]
+            dataframe = dataframe[df_order]
+            attributes_map_word_to_header = {key: value["abbreviation"] for key, value in self.TASKS_METADATA.items()}
+            attributes_map_word_to_header.update(extra_attributes_map_word_to_header)
+            dataframe = dataframe.rename(
+                columns=attributes_map_word_to_header
+            )
+            return dataframe
+
     def get_leaderboard(self, pre_submit=None, category=None):
         with self.var_lock.ro:
             tournament_results = pre_submit.tournament_results if pre_submit else self.tournament_results