Delete constants.py

constants.py

@@ -1,322 +0,0 @@
-from collections import OrderedDict
-
-BANNER = '''
-<div style="
-    display: flex;
-    justify-content: center;
-    align-items: center;
-    height: 120px;
-    background: #ffffff;  
-    border-bottom: 2px solid #ced4da;
-">
-  <h1 style="
-      font-size: 5em;
-      font-family: 'Poppins', 'Segoe UI', sans-serif;
-      background: linear-gradient(90deg, #007bff, #00c6ff, #0096c7, #0077b6);
-      -webkit-background-clip: text;
-      color: transparent;
-      animation: gradientFlow 4s ease-in-out infinite;
-      background-size: 300%;
-      letter-spacing: 2px;
-  ">
-    HardcoreLogic
-  </h1>
-</div>
-
-<style>
-@keyframes gradientFlow {
-  0% { background-position: 0% 50%; }
-  50% { background-position: 100% 50%; }
-  100% { background-position: 0% 50%; }
-}
-</style>
-'''
-
-
-CITATION_TEXT = """
-
-"""
-'''
-   @article{hardcorelogic2025,
-    title={HardcoreLogic: Challenging Large Reasoning Models with Long-tail Logic Puzzle Games},
-    author={},
-    year={2025},
-    url={https://arxiv.org/},
-}'''
-
-column_names = OrderedDict({
-    "model": "Model",
-    "open-source": "Open Source",
-    "total accuracy": "Total Acc",
-    "unsolvable puzzle": "Unsolvable Puzzle ACC",
-})
-
-column_names_puzzle = OrderedDict({
-    "model": "Model",
-    "total accuracy": "Total Acc",
-    "Zebra": "Zebra",
-    "Binario": "Binario",
-    "Crypto": "Crypto",
-    "Hanoi": "Hanoi",
-    "Hitpri": "Hitpri",
-    "Kakurasu": "Kakurasu",
-    "Minesweeper": "Minesweeper",
-    "Navigation": "Navigation",
-    "Skyscraper": "Skyscraper",
-    "Sudoku": "Sudoku",
-})
-
-LEADERBOARD_REMARKS = """**WB Reward**: for each comparison (A vs B), a reward for A is **+/-1** if A is **much better/worse** than B, and **+/-0.5** if A is **slightly better/worse** than B; when there is a **Tie**, the reward is **0**.
-"""
-
-LEADERBOARD_REMARKS_MAIN = """
-"""
-
-RANKING_COLUMN = "total accuracy"
-
-ORDERED_COLUMN_NAMES = [
-    "model",
-    "mode",
-    "open-source",
-    "total accuracy",
-    "increased complexity",
-    "uncommon elements",
-    "unsolvable puzzle",
-    "temperature",
-    "n_sampling",
-    "n"
-]
-
-ORDERED_COLUMN_NAMES_PUZZLE = [
-    "model",
-    "mode",
-    "open-source",
-    "total accuracy",
-    "Zebra",
-    "Binario",
-    "Crypto",
-    "Hanoi",
-    "Hitpri",
-    "Kakurasu",
-    "Minesweeper",
-    "Navigation",
-    "Skyscraper",
-    "Sudoku",
-    "temperature",
-    "n_sampling",
-    "n"
-]
-
-
-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;
-    }
-
-    // Find the fieldset with the given id
-    const fieldset = document.getElementById("rank-column-radio");
-
-    // Create a new span element with the text "Decoding Mode:"
-    const rankBySpan = document.createElement("span");
-    rankBySpan.textContent = "Decoding Mode: ";
-    rankBySpan.style.fontWeight = "bold"; // Optional: make the text bold
-     rankBySpan.style.fontSize = "19px"; // Larger font size
-    rankBySpan.style.paddingRight = "18px"; // Add padding on the right
-
-    // Wrap the span and the labels in a flex container
-    const flexContainer = document.createElement("div");
-    flexContainer.style.display = "flex";
-    flexContainer.style.alignItems = "center";
-
-    // Insert the rankBySpan at the beginning of the flex container
-    flexContainer.appendChild(rankBySpan);
-
-    // Move all existing labels into the flex container
-    while (fieldset.firstChild) {
-        flexContainer.appendChild(fieldset.firstChild);
-    }
-
-    // Append the flex container back to the fieldset
-    fieldset.appendChild(flexContainer);
-}
-"""
-
-js_code = """
-function scroll_top() {
-    console.log("Hello from Gradio!");
-    const bubbles = document.querySelectorAll('.bubble-wrap');
-    bubbles.forEach((bubble, index) => {
-        setTimeout(() => {
-            bubble.scrollTop = 0;
-        }, index * 100); // Delay of 100ms between each iteration
-    });
-
-}
-"""
-
-
-TASK_TYPE_STR = "**Tasks**: Info seeking (**InfoSek**), Creative Writing (**CrtWrt**), Coding&Debugging (**Code**), Reasoning (**Reason**), Editing (**Edit**), **Math**, Planning (**Plan**), Brainstorming (**Brnstrm**), Role playing (**RolPly**), Advice seeking (**AdvSek**), Data Analysis (**DataAna**)"
-
-css = """
-/* ========== 🌟 Global Typography ========== */
-code {
-    font-size: large;
-}
-footer {visibility: hidden}
-
-.markdown-text{font-size: 14pt}
-.markdown-text-small{font-size: 13pt}
-.markdown-text-tiny{font-size: 12pt}
-
-/* ========== 🎓 Fudan Blue Theme Colors ========== */
-:root {
-    --fudan-blue: #002D72;
-    --fudan-blue-light: #E6EEF8;
-    --fudan-gray: #f7f7f7;
-    --fudan-border: #c8d6e5;
-    --fudan-highlight: #1E56A0;
-}
-
-/* ========== 🏅 Leaderboard Table ========== */
-#leaderboard-table th,
-#leaderboard-puzzle-table th {
-    background-color: var(--fudan-blue);
-    color: white;
-    text-align: center;
-    padding: 10px;
-    font-size: 15px;
-    border-bottom: 2px solid var(--fudan-border);
-}
-
-#leaderboard-table td,
-#leaderboard-puzzle-table td {
-    text-align: center;
-    font-size: 14px;
-    padding: 8px;
-    background-color: white;
-    border-bottom: 1px solid var(--fudan-border);
-}
-
-/* Hover 行高亮 */
-#leaderboard-table tr:hover,
-#leaderboard-puzzle-table tr:hover {
-    background-color: var(--fudan-blue-light);
-    transition: background-color 0.2s ease-in-out;
-}
-
-/* 表格整体外观 */
-#leaderboard-table,
-#leaderboard-puzzle-table {
-    border-collapse: collapse;
-    border-radius: 10px;
-    overflow: hidden;
-    box-shadow: 0 0 10px rgba(0, 45, 114, 0.15);
-}
-
-/* ========== 📊 Tabs ========== */
-.tab-buttons button[role="tab"] {
-    font-size: 15px;
-    font-weight: 600;
-    color: var(--fudan-blue);
-    border: 1px solid var(--fudan-border);
-    border-radius: 8px;
-    background-color: white;
-    padding: 8px 16px;
-    margin-right: 5px;
-    transition: all 0.2s ease-in-out;
-}
-
-.tab-buttons button[role="tab"]:hover {
-    background-color: var(--fudan-blue-light);
-}
-
-button.selected[role="tab"][aria-selected="true"] {
-    background-color: var(--fudan-blue);
-    color: white;
-    font-weight: bold;
-    font-size: 16px;
-}
-
-/* ========== 📦 Accordion & Buttons ========== */
-.accordion-label button span{
-    font-size: 14pt;
-    font-weight: bold;
-    color: var(--fudan-blue);
-}
-
-.btn_boderline{
-    border: 1px solid var(--fudan-blue);
-    border-radius: 5px;
-    padding: 6px 12px;
-    margin: 5px;
-    font-size: 14pt;
-    font-weight: bold;
-    background-color: var(--fudan-blue-light);
-    color: var(--fudan-blue);
-    transition: background-color 0.3s;
-}
-.btn_boderline:hover{
-    background-color: var(--fudan-blue);
-    color: white;
-}
-
-/* ========== 🧩 Box & Card ========== */
-.box_md{
-    border: 1px solid var(--fudan-border);
-    border-radius: 10px;
-    padding: 10px;
-    font-size: 12pt;
-    margin: 8px;
-    background-color: white;
-    box-shadow: 0 0 6px rgba(0, 45, 114, 0.1);
-}
-
-/* ========== 💬 Markdown Text Enhancements ========== */
-.markdown-text-details{
-    margin: 10px;
-    padding: 10px;
-    background-color: var(--fudan-gray);
-    border-left: 4px solid var(--fudan-blue);
-    border-radius: 6px;
-}
-
-/* ========== 📈 Plot & Visualization ========== */
-.plotly-plot{
-    height: auto;
-    max-height: 600px;
-    min-height: 600px;
-    border: 1px solid var(--fudan-border);
-    border-radius: 10px;
-}
-
-/* ========== 🧷 Misc Components ========== */
-.sample_button{
-    border: 2px solid var(--fudan-blue);
-    border-radius: 10px;
-    padding: 10px;
-    font-size: 17pt;
-    font-weight: bold;
-    margin: 5px;
-    background-color: var(--fudan-blue-light);
-    color: var(--fudan-blue);
-    transition: all 0.3s ease-in-out;
-}
-.sample_button:hover {
-    background-color: var(--fudan-blue);
-    color: white;
-}
-
-/* Scrollable Table Containers */
-#leaderboard-table,
-#leaderboard-puzzle-table {
-    display: block;
-    max-height: 800px;
-    overflow-y: auto;
-}
-
-
-"""