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)