Spaces:
Running
Running
Commit
·
e1fc3b2
1
Parent(s):
d63c324
Update README
Browse files
README.md
CHANGED
|
@@ -1,6 +1,6 @@
|
|
| 1 |
# Bottom-Up Enumerative Synthesis
|
| 2 |
|
| 3 |
-
Completed for CS252R at the Harvard John A. Paulson School of Engineering and Applied Sciences, taught Fall 2023.
|
| 4 |
|
| 5 |
## 🛠️ Inductive Program Synthesis
|
| 6 |
|
|
|
|
| 1 |
# Bottom-Up Enumerative Synthesis
|
| 2 |
|
| 3 |
+
Completed for [CS252R: Program Synthesis](https://synthesis.metareflection.club/) at the Harvard John A. Paulson School of Engineering and Applied Sciences, taught Fall 2023 by Prof. Nada Amin.
|
| 4 |
|
| 5 |
## 🛠️ Inductive Program Synthesis
|
| 6 |
|