app.py

import gradio as gr
import os
import pandas as pd
import json

ratings = json.load(open("ratings.json"))
# df = pd.DataFrame(columns=["Rank", "Name", "Arena Elo"])
# for i in range(len(ratings)):
#     df = df.append(
#         {"Rank": i + 1, "Name": ratings[i][0], "Arena Elo": ratings[i][1]},
#         ignore_index=True,
# )
df = pd.DataFrame(ratings, columns=["Name", "Arena Elo"])
df["Rank"] = df.index + 1
df = df[["Rank", "Name", "Arena Elo"]]


with gr.Blocks(css="footer {visibility: hidden}") as demo:
    md = gr.Markdown(
        """## Internal Leaderboard
        """
    )

    md2 = gr.Markdown(
        """Notes:
        - This is very unreliable as of now.
        - The agents have been implemented haphazardly and only evaluated on 10 tasks.
        """
    )
    with gr.Row():
        table = gr.Dataframe(df)

if __name__ == "__main__":
    demo.queue()
    demo.launch(debug=True)