still trying to make the leaderboard
Browse files
app.py
CHANGED
@@ -95,8 +95,8 @@ def gradio_interface() -> gr.Blocks:
|
|
95 |
boundary_file = gr.File(label="Boundary JSON File (.json)")
|
96 |
|
97 |
boundary_file
|
98 |
-
message = gr.Textbox(lines=1, visible=False)
|
99 |
submit_btn = gr.Button("Evaluate")
|
|
|
100 |
submit_btn.click(
|
101 |
submit_boundary,
|
102 |
inputs=[problem_type, boundary_file, user_state],
|
|
|
95 |
boundary_file = gr.File(label="Boundary JSON File (.json)")
|
96 |
|
97 |
boundary_file
|
|
|
98 |
submit_btn = gr.Button("Evaluate")
|
99 |
+
message = gr.Textbox(label="Status", lines=1, visible=False)
|
100 |
submit_btn.click(
|
101 |
submit_boundary,
|
102 |
inputs=[problem_type, boundary_file, user_state],
|