Spaces:
Sleeping
Sleeping
Update README.md
Browse files
README.md
CHANGED
@@ -1,3 +1,4 @@
|
|
|
|
1 |
---
|
2 |
title: Program Synthesis
|
3 |
emoji: 🤗
|
@@ -8,6 +9,7 @@ sdk_version: 1.19.0
|
|
8 |
app_file: app.py
|
9 |
pinned: false
|
10 |
---
|
|
|
11 |
|
12 |
# Bottom-Up Enumerative Program Synthesis
|
13 |
|
|
|
1 |
+
<!--
|
2 |
---
|
3 |
title: Program Synthesis
|
4 |
emoji: 🤗
|
|
|
9 |
app_file: app.py
|
10 |
pinned: false
|
11 |
---
|
12 |
+
-->
|
13 |
|
14 |
# Bottom-Up Enumerative Program Synthesis
|
15 |
|