still trying to make the leaderboard

app.py

@@ -7,7 +7,6 @@ import pandas as pd
 
 import gradio as gr
 from datasets import load_dataset
-from huggingface_hub import upload_file, hf_hub_download, list_files_info
 from gradio_leaderboard import ColumnFilter, Leaderboard, SelectColumns
 from evaluation import evaluate_problem
 from datetime import datetime