Spaces:
Sleeping
Sleeping
File size: 5,991 Bytes
e07e1fe cb9c774 0c2e6b9 38a8f52 cb9c774 f35a40c 0e1846b cb9c774 38a8f52 17599b8 0e1846b 5c14a51 17599b8 cb9c774 5c14a51 17599b8 cb9c774 0e1846b 17599b8 599e176 17599b8 5c14a51 599e176 5c14a51 599e176 17599b8 f72a9c9 17599b8 f72a9c9 17599b8 5c14a51 17599b8 599e176 5c14a51 17599b8 5c14a51 599e176 17599b8 f72a9c9 17599b8 e03518e 17599b8 f72a9c9 cb9c774 0c2e6b9 5c14a51 0e1846b 17599b8 5c14a51 0e1846b f35a40c cb9c774 599e176 f35a40c 599e176 f35a40c 0e1846b f72a9c9 5c14a51 17599b8 f72a9c9 5c14a51 f72a9c9 0e1846b 17599b8 5c14a51 0e1846b cb9c774 0e1846b |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 |
from tinysql_model_demo import model_demo
from tinysql_dataset_viewer import dataset_viewer
import gradio as gr
custom_css = """
:root {
--martian-orange: #FF6B4A;
--martian-black: #0A0A0A;
--martian-gray-dark: #1A1A1A;
--martian-gray-medium: #2A2A2A;
}
/* FORCE DARK MODE EVERYWHERE */
.gradio-container, .gradio-container *, body, html {
background-color: var(--martian-black) !important;
color: #E0E0E0 !important;
color-scheme: dark !important;
}
/* Force dark backgrounds on all elements */
div, section, .block, .panel, .form, .input-wrap {
background-color: var(--martian-black) !important;
}
/* Force text colors */
h1, h2, h3, h4, h5, h6, p, span, label, div, strong {
color: #E0E0E0 !important;
}
/* TABS - Bigger and bolder */
.tab-nav {
border-bottom: 2px solid var(--martian-gray-dark) !important;
background: var(--martian-gray-dark) !important;
padding: 0.5rem 1rem !important;
border-radius: 12px 12px 0 0 !important;
}
.tab-nav button {
font-size: 1.6rem !important;
font-weight: 800 !important;
padding: 1.25rem 2.5rem !important;
border-radius: 8px !important;
margin: 0 0.25rem !important;
transition: all 0.3s ease !important;
color: #888 !important;
border: none !important;
background: transparent !important;
}
.tab-nav button:hover {
background: var(--martian-gray-medium) !important;
color: #E0E0E0 !important;
}
.tab-nav button.selected {
background: var(--martian-orange) !important;
color: white !important;
box-shadow: 0 2px 8px rgba(255, 107, 74, 0.3) !important;
}
/* ORANGE RECTANGLE LABELS */
label span, .label-wrap span {
background: var(--martian-orange) !important;
color: white !important;
padding: 0.5rem 1rem !important;
border-radius: 8px !important;
font-weight: 700 !important;
font-size: 0.95rem !important;
display: inline-block !important;
}
/* Input fields */
select, input, textarea, .input-wrap input {
background: var(--martian-gray-medium) !important;
border: 1px solid #3A3A3A !important;
color: #E0E0E0 !important;
}
select:focus, input:focus, textarea:focus {
border-color: var(--martian-orange) !important;
outline: none !important;
box-shadow: 0 0 0 2px rgba(255, 107, 74, 0.2) !important;
}
/* Orange sliders */
input[type="range"]::-webkit-slider-thumb {
background: var(--martian-orange) !important;
}
input[type="range"]::-moz-range-thumb {
background: var(--martian-orange) !important;
}
input[type="range"]::-webkit-slider-track {
background: #3A3A3A !important;
}
input[type="range"]::-moz-range-track {
background: #3A3A3A !important;
}
/* Buttons */
.primary, .primary:hover {
background: var(--martian-orange) !important;
border-color: var(--martian-orange) !important;
color: white !important;
}
button {
border: none !important;
background: var(--martian-gray-medium) !important;
color: #E0E0E0 !important;
}
/* Citation box */
.citation-content {
background: var(--martian-gray-medium) !important;
}
.citation-content pre {
background: var(--martian-gray-dark) !important;
color: #D0D0D0 !important;
}
/* Dataset info - force white text for CS1, CS2, etc */
.dataset-info strong {
color: #E0E0E0 !important;
}
/* Dropdown and select */
select option {
background: var(--martian-gray-medium) !important;
color: #E0E0E0 !important;
}
/* Code blocks */
code, pre {
background: var(--martian-gray-dark) !important;
color: #D0D0D0 !important;
}
"""
with gr.Blocks(css=custom_css, title="TinySQL Demo") as demo:
gr.HTML("""
<div style="text-align: center; padding: 1.5rem 0 1rem 0; background: #0A0A0A;">
<h1 style="font-size: 2rem; font-weight: 700; color: #FF6B4A; margin: 0;">TinySQL</h1>
<p style="color: #999; font-size: 0.95rem; margin-top: 0.25rem;">Mechanistic Interpretability for Text-to-SQL</p>
</div>
""")
shared_instruction = gr.State("")
shared_schema = gr.State("")
with gr.Tabs():
with gr.Tab("Dataset Viewer"):
viewer_components = dataset_viewer(shared_instruction, shared_schema)
with gr.Tab("Model Demo"):
model_components = model_demo(shared_instruction, shared_schema)
gr.HTML("""
<div style="border-radius: 12px; padding: 1.5rem; margin: 2rem auto; max-width: 900px; background: #2A2A2A;">
<div style="font-weight: 700; color: #FF6B4A; margin-bottom: 1rem; font-size: 1.1rem; text-align: center;">Cite Our Work</div>
<div class="citation-content" style="background: #2A2A2A; padding: 1rem; border-radius: 8px;">
<pre style="font-family: 'Monaco', monospace; font-size: 0.85rem; overflow-x: auto; background: #1A1A1A; color: #D0D0D0; margin: 0; padding: 1rem; border-radius: 6px;">@misc{harrasse2025tinysqlprogressivetexttosqldataset,
title={TinySQL: A Progressive Text-to-SQL Dataset for Mechanistic Interpretability Research},
author={Abir Harrasse and Philip Quirke and Clement Neo and Dhruv Nathawani and Luke Marks and Amir Abdullah},
year={2025},
eprint={2503.12730},
archivePrefix={arXiv},
primaryClass={cs.LG},
url={https://arxiv.org/abs/2503.12730}
}</pre>
</div>
</div>
""")
gr.HTML("""
<div style="text-align: center; padding: 2rem 0; margin-top: 3rem; background: #0A0A0A;">
<p style="font-size: 0.85rem; margin-top: 1rem; color: #999;">
<a href="https://arxiv.org/abs/2503.12730" style="color: #FF6B4A;">Paper</a> •
<a href="https://github.com/withmartian/TinySQL" style="color: #FF6B4A;">Code</a> •
<a href="https://huggingface.co/collections/withmartian/tinysql-6760e92748b63fa56a6ffc9f" style="color: #FF6B4A;">Dataset</a>
</p>
</div>
""")
if __name__ == "__main__":
demo.launch(ssr_mode=False) |