Spaces:
Running
on
CPU Upgrade
Running
on
CPU Upgrade
More updates.
Browse files- app.py +1 -1
- src/about.py +1 -1
app.py
CHANGED
@@ -343,7 +343,7 @@ with blocks:
|
|
343 |
"""
|
344 |
<div class="f1-container">
|
345 |
<p class="f1-hero">
|
346 |
-
A benchmark of
|
347 |
programming and logical reasoning. <strong>Shallow</strong> and <strong>Deeper</strong> tiers span moderate through
|
348 |
challenging problems, while <strong>Deepest</strong> is research-level.
|
349 |
</p>
|
|
|
343 |
"""
|
344 |
<div class="f1-container">
|
345 |
<p class="f1-hero">
|
346 |
+
A benchmark of novel, expert-level algorithmic problems over graphs that demand deep dynamic
|
347 |
programming and logical reasoning. <strong>Shallow</strong> and <strong>Deeper</strong> tiers span moderate through
|
348 |
challenging problems, while <strong>Deepest</strong> is research-level.
|
349 |
</p>
|
src/about.py
CHANGED
@@ -12,7 +12,7 @@ WHAT_IS_F1_HTML_TOP = f"""
|
|
12 |
|
13 |
<p class="text-lg mb-4 f1-p">We believe that existing benchmarks fail to capture the deep reasoning skills required for complex, research-level algorithmic problems. To address this gap, <a href="{PAPER_URL}" target="_blank" rel="noopener noreferrer" class="f1-a">we introduce <strong>FormulaOne</strong></a>.</p>
|
14 |
|
15 |
-
<p class="mb-4 f1-p"><strong>FormulaOne</strong> consists of novel dynamic programming problems over graphs. The problems are organised into three categories, ranging from moderate difficulty and all the way up to research-level.</p>
|
16 |
|
17 |
<!-- Clean, centered "table" using a single grid -->
|
18 |
<div class="f1-grid-wrap" role="region" aria-label="FormulaOne categories">
|
|
|
12 |
|
13 |
<p class="text-lg mb-4 f1-p">We believe that existing benchmarks fail to capture the deep reasoning skills required for complex, research-level algorithmic problems. To address this gap, <a href="{PAPER_URL}" target="_blank" rel="noopener noreferrer" class="f1-a">we introduce <strong>FormulaOne</strong></a>.</p>
|
14 |
|
15 |
+
<p class="mb-4 f1-p"><strong>FormulaOne</strong> consists of 220 novel dynamic programming problems over graphs. The problems are organised into three categories, ranging from moderate difficulty and all the way up to research-level.</p>
|
16 |
|
17 |
<!-- Clean, centered "table" using a single grid -->
|
18 |
<div class="f1-grid-wrap" role="region" aria-label="FormulaOne categories">
|