Update
Browse files
app.py
CHANGED
|
@@ -104,14 +104,15 @@ else:
|
|
| 104 |
with tab_submission:
|
| 105 |
st.header("Submissions")
|
| 106 |
models = get_dataset_config_names("Elfsong/Venus_Model_Evaluation")
|
| 107 |
-
|
| 108 |
-
st.write("You selected:",
|
| 109 |
|
| 110 |
with st.spinner("Loading Data...", show_time=True):
|
|
|
|
| 111 |
df = pd.DataFrame(
|
| 112 |
{
|
| 113 |
-
"problem_id": [int(problem['problem_id']) for problem in
|
| 114 |
-
"solution": [str(problem['solution']) for problem in
|
| 115 |
}
|
| 116 |
)
|
| 117 |
st.dataframe(
|
|
|
|
| 104 |
with tab_submission:
|
| 105 |
st.header("Submissions")
|
| 106 |
models = get_dataset_config_names("Elfsong/Venus_Model_Evaluation")
|
| 107 |
+
model_name = st.selectbox("Which model you are looking for?", models, placeholder="Select a model...")
|
| 108 |
+
st.write("You selected:", model_name)
|
| 109 |
|
| 110 |
with st.spinner("Loading Data...", show_time=True):
|
| 111 |
+
ds = load_dataset("Elfsong/Venus_Model_Evaluation", model_name, split='train')
|
| 112 |
df = pd.DataFrame(
|
| 113 |
{
|
| 114 |
+
"problem_id": [int(problem['problem_id']) for problem in ds],
|
| 115 |
+
"solution": [str(problem['solution']) for problem in ds],
|
| 116 |
}
|
| 117 |
)
|
| 118 |
st.dataframe(
|