Spaces:
Running
Running
updated names
Browse files
app.py
CHANGED
|
@@ -12,17 +12,17 @@ from src.about import (
|
|
| 12 |
|
| 13 |
data = {
|
| 14 |
"Method": [
|
| 15 |
-
"
|
| 16 |
"Zero-shot Text2SQL (Llama-3.1-70B)",
|
| 17 |
"Zero-shot Text2SQL + LM Generation (Llama-3.1-70B)",
|
| 18 |
"RAG (E5) (Llama-3.1-70B)",
|
| 19 |
"RAG (E5) + LM Rerank (Llama-3.1-70B)",
|
| 20 |
-
"
|
| 21 |
"Zero-shot Text2SQL (GPT-4o)",
|
| 22 |
"Zero-shot Text2SQL + LM Generation (GPT-4o)",
|
| 23 |
"RAG (GPT-4o)",
|
| 24 |
"RAG (E5) + LM Rerank (GPT-4o)",
|
| 25 |
-
"
|
| 26 |
"Zero-shot Text2SQL (o3-mini)",
|
| 27 |
"Zero-shot Text2SQL + LM Generation (o3-mini)",
|
| 28 |
"RAG (o3-mini)",
|
|
@@ -39,7 +39,7 @@ leaderboard_df = pd.DataFrame(data)
|
|
| 39 |
leaderboard_df = leaderboard_df.sort_values(
|
| 40 |
"Execution Accuracy", ascending=False
|
| 41 |
).reset_index(drop=True)
|
| 42 |
-
leaderboard_df.insert(0, "Rank", leaderboard_df.index)
|
| 43 |
leaderboard_df.loc[0, "Rank"] = ""
|
| 44 |
leaderboard_df.loc[1, "Rank"] = ""
|
| 45 |
leaderboard_df.loc[2, "Rank"] = ""
|
|
|
|
| 12 |
|
| 13 |
data = {
|
| 14 |
"Method": [
|
| 15 |
+
"Handwritten LOTUS (Llama-3.1-70B)",
|
| 16 |
"Zero-shot Text2SQL (Llama-3.1-70B)",
|
| 17 |
"Zero-shot Text2SQL + LM Generation (Llama-3.1-70B)",
|
| 18 |
"RAG (E5) (Llama-3.1-70B)",
|
| 19 |
"RAG (E5) + LM Rerank (Llama-3.1-70B)",
|
| 20 |
+
"Handwritten LOTUS (GPT-4o)",
|
| 21 |
"Zero-shot Text2SQL (GPT-4o)",
|
| 22 |
"Zero-shot Text2SQL + LM Generation (GPT-4o)",
|
| 23 |
"RAG (GPT-4o)",
|
| 24 |
"RAG (E5) + LM Rerank (GPT-4o)",
|
| 25 |
+
"Handwritten LOTUS (o3-mini)",
|
| 26 |
"Zero-shot Text2SQL (o3-mini)",
|
| 27 |
"Zero-shot Text2SQL + LM Generation (o3-mini)",
|
| 28 |
"RAG (o3-mini)",
|
|
|
|
| 39 |
leaderboard_df = leaderboard_df.sort_values(
|
| 40 |
"Execution Accuracy", ascending=False
|
| 41 |
).reset_index(drop=True)
|
| 42 |
+
leaderboard_df.insert(0, "Rank", leaderboard_df.index - 2)
|
| 43 |
leaderboard_df.loc[0, "Rank"] = ""
|
| 44 |
leaderboard_df.loc[1, "Rank"] = ""
|
| 45 |
leaderboard_df.loc[2, "Rank"] = ""
|