Spaces:
Running
Running
Danny Liu commited on
Commit ·
3de1276
1
Parent(s): a5c141e
minor fix about the format
Browse files- app.py +2 -5
- src/display/css_html_js.py +12 -2
app.py
CHANGED
|
@@ -39,11 +39,8 @@ demo = gr.Blocks(css=custom_css)
|
|
| 39 |
with demo:
|
| 40 |
gr.HTML(TITLE)
|
| 41 |
|
| 42 |
-
|
| 43 |
-
|
| 44 |
-
gr.Markdown(LLM_BENCHMARKS_TEXT, elem_classes="markdown-text")
|
| 45 |
-
with gr.Column(scale=3):
|
| 46 |
-
gr.Image("taxonomy_overview.png", elem_id="taxonomy-img", show_label=False, show_download_button=False)
|
| 47 |
|
| 48 |
gr.Markdown("## Benchmark")
|
| 49 |
gr.Markdown("### Model evaluation on VerilogEval-Human V1 benchmark (156 problems, 10 rollouts each)")
|
|
|
|
| 39 |
with demo:
|
| 40 |
gr.HTML(TITLE)
|
| 41 |
|
| 42 |
+
gr.Image("taxonomy_overview.png", elem_id="taxonomy-img", show_label=False, show_download_button=False)
|
| 43 |
+
gr.Markdown(LLM_BENCHMARKS_TEXT, elem_classes="markdown-text")
|
|
|
|
|
|
|
|
|
|
| 44 |
|
| 45 |
gr.Markdown("## Benchmark")
|
| 46 |
gr.Markdown("### Model evaluation on VerilogEval-Human V1 benchmark (156 problems, 10 rollouts each)")
|
src/display/css_html_js.py
CHANGED
|
@@ -96,19 +96,29 @@ custom_css = """
|
|
| 96 |
}
|
| 97 |
|
| 98 |
#taxonomy-img {
|
| 99 |
-
width:
|
| 100 |
-
|
|
|
|
| 101 |
}
|
| 102 |
|
| 103 |
#leaderboard-container {
|
| 104 |
width: 100% !important;
|
| 105 |
max-width: 100% !important;
|
| 106 |
padding: 0 !important;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 107 |
}
|
| 108 |
|
| 109 |
#leaderboard-container .filter-bar,
|
| 110 |
#leaderboard-container .search-bar {
|
| 111 |
width: 100% !important;
|
|
|
|
|
|
|
| 112 |
}
|
| 113 |
|
| 114 |
#leaderboard-container table {
|
|
|
|
| 96 |
}
|
| 97 |
|
| 98 |
#taxonomy-img {
|
| 99 |
+
max-width: 800px !important;
|
| 100 |
+
margin: 0 auto !important;
|
| 101 |
+
display: block !important;
|
| 102 |
}
|
| 103 |
|
| 104 |
#leaderboard-container {
|
| 105 |
width: 100% !important;
|
| 106 |
max-width: 100% !important;
|
| 107 |
padding: 0 !important;
|
| 108 |
+
gap: 0 !important;
|
| 109 |
+
}
|
| 110 |
+
|
| 111 |
+
#leaderboard-container > div {
|
| 112 |
+
gap: 4px !important;
|
| 113 |
+
margin-bottom: 0 !important;
|
| 114 |
+
padding-bottom: 0 !important;
|
| 115 |
}
|
| 116 |
|
| 117 |
#leaderboard-container .filter-bar,
|
| 118 |
#leaderboard-container .search-bar {
|
| 119 |
width: 100% !important;
|
| 120 |
+
margin-bottom: 0 !important;
|
| 121 |
+
padding-bottom: 0 !important;
|
| 122 |
}
|
| 123 |
|
| 124 |
#leaderboard-container table {
|