Spaces:
Sleeping
Sleeping
made slider slightly more intuitive
Browse files
app.py
CHANGED
|
@@ -27,7 +27,7 @@ def download_model(model):
|
|
| 27 |
# APP DRIVER CODE
|
| 28 |
st.title("Bottom Up Synthesis for RASP")
|
| 29 |
|
| 30 |
-
max_weight = st.slider("Choose the maximum program weight to search for (~ size of transformer)", 2, 20,
|
| 31 |
|
| 32 |
default_example = "[[['h', 'e', 'l', 'l', 'o'], [1,1,2,2,1]]]"
|
| 33 |
example_text = st.text_input(label = "Provide Input and Output Examples", value = default_example)
|
|
|
|
| 27 |
# APP DRIVER CODE
|
| 28 |
st.title("Bottom Up Synthesis for RASP")
|
| 29 |
|
| 30 |
+
max_weight = st.slider("Choose the maximum program weight to search for (~ size of transformer)", 2, 20, 15)
|
| 31 |
|
| 32 |
default_example = "[[['h', 'e', 'l', 'l', 'o'], [1,1,2,2,1]]]"
|
| 33 |
example_text = st.text_input(label = "Provide Input and Output Examples", value = default_example)
|