Spaces:
Running
Running
| from pathlib import Path | |
| from collections import OrderedDict | |
| DEFAULT_K = "∞" | |
| column_names = OrderedDict({ | |
| "Model": "Model", | |
| "Mode": "Mode", | |
| "Puzzle Acc": "Puzzle Acc", | |
| "Cell Acc": "Cell Acc", | |
| "No answer": "No answer", | |
| "Easy Puzzle Acc": "Easy Puzzle Acc", | |
| "Hard Puzzle Acc": "Hard Puzzle Acc", | |
| }) | |
| LEADERBOARD_REMARKS_MAIN = """ | |
| """ | |
| RANKING_COLUMN = "Puzzle Acc" | |
| ORDERED_COLUMN_NAMES = [ | |
| "Agent", | |
| "Base model", | |
| "Expert (Accuracy)", | |
| "Expert (Landmarks)", | |
| "Masked (Accuracy)", | |
| "Masked (Landmarks)" | |
| ] | |
| js_light = """ | |
| function refresh() { | |
| const url = new URL(window.location); | |
| if (url.searchParams.get('__theme') !== 'light') { | |
| url.searchParams.set('__theme', 'light'); | |
| window.location.href = url.href; | |
| } | |
| } | |
| """ | |
| css = """ | |
| code { | |
| font-size: large; | |
| } | |
| footer {visibility: hidden} | |
| .top-left-LP{ | |
| margin-top: 6px; | |
| margin-left: 5px; | |
| } | |
| .no_margin{ | |
| margin-top: 0px; | |
| margin-left: 0px; | |
| margin-right: 0px; | |
| margin-bottom: 0px; | |
| padding-top: 0px; | |
| padding-left: 0px; | |
| padding-right: 0px; | |
| padding-bottom: 0px; | |
| } | |
| .markdown-text{font-size: 14pt} | |
| .markdown-text-tiny{font-size: 10pt} | |
| .markdown-text-small{font-size: 13pt} | |
| .markdown-text-tiny{font-size: 12pt} | |
| .markdown-text-tiny-red{ | |
| font-size: 12pt; | |
| color: red; | |
| background-color: yellow; | |
| font-color: red; | |
| font-weight: bold; | |
| } | |
| th { | |
| text-align: center; | |
| font-size: 17px; /* Adjust the font size as needed */ | |
| } | |
| td { | |
| font-size: 15px; /* Adjust the font size as needed */ | |
| text-align: center; | |
| } | |
| .sample_button{ | |
| border: 2px solid #000000; | |
| border-radius: 10px; | |
| padding: 10px; | |
| font-size: 17pt; | |
| font-weight: bold; | |
| margin: 5px; | |
| background-color: #D8BFD8; | |
| } | |
| .chat-common{ | |
| height: auto; | |
| max-height: 400px; | |
| min-height: 100px; | |
| } | |
| .chat-specific{ | |
| height: auto; | |
| max-height: 600px; | |
| min-height: 200px; | |
| } | |
| #od-benchmark-tab-table-button{ | |
| font-size: 15pt; | |
| font-weight: bold; | |
| } | |
| .btn_boderline{ | |
| border: 1px solid #000000; | |
| border-radius: 5px; | |
| padding: 5px; | |
| margin: 5px; | |
| font-size: 15pt; | |
| font-weight: bold; | |
| } | |
| .btn_boderline_next{ | |
| border: 0.1px solid #000000; | |
| border-radius: 5px; | |
| padding: 5px; | |
| margin: 5px; | |
| font-size: 15pt; | |
| font-weight: bold; | |
| } | |
| .btn_boderline_gray{ | |
| border: 0.5px solid gray; | |
| border-radius: 5px; | |
| padding: 5px; | |
| margin: 5px; | |
| font-size: 15pt; | |
| font-weight: italic; | |
| } | |
| .btn_boderline_selected{ | |
| border: 2px solid purple; | |
| background-color: #f2f2f2; | |
| border-radius: 5px; | |
| padding: 5px; | |
| margin: 5px; | |
| font-size: 15pt; | |
| font-weight: bold; | |
| } | |
| .accordion-label button span{ | |
| font-size: 14pt; | |
| font-weight: bold; | |
| } | |
| #show-task-categorized span{ | |
| font-size: 13pt; | |
| font-weight: bold; | |
| } | |
| #show-open-source-models span{ | |
| font-size: 13pt; | |
| font-weight: bold; | |
| } | |
| #select-models span{ | |
| font-size: 10pt; | |
| } | |
| #select-tasks span{ | |
| font-size: 10pt; | |
| } | |
| .markdown-text-details{ | |
| margin: 10px; | |
| padding: 10px; | |
| } | |
| button.selected[role="tab"][aria-selected="true"] { | |
| font-size: 18px; /* or any other size you prefer */ | |
| font-weight: bold; | |
| } | |
| #od-benchmark-tab-table-ablation-button { | |
| font-size: larger; /* Adjust the font size as needed */ | |
| } | |
| .plotly-plot{ | |
| height: auto; | |
| max-height: 600px; | |
| min-height: 600px; | |
| } | |
| #length-margin-radio{ | |
| font-size: 10pt; | |
| # padding: 0px; | |
| # margin: 1px; | |
| } | |
| #show-task-categorized{ | |
| font-size: 12pt; | |
| font-decoration: bold; | |
| } | |
| #show-open-source-models{ | |
| font-size: 12pt; | |
| font-decoration: bold; | |
| } | |
| .box_md{ | |
| border: 1px solid #000000; | |
| border-radius: 10px; | |
| padding: 10px; | |
| font-size: 12pt; | |
| margin: 5px; | |
| } | |
| """ | |