search

prosyslab-classroom / cs424-program-reasoning

48 stars 19 forks source link

[Art competition] Top-Down Enumeration #181

Closed 08kmc09 closed 5 months ago

08kmc09 commented 11 months ago

image

Name

Mincheol Kwon

Tool You Used

Bing Image Creator

Short Description

For me, Top-Down enumeration means a person walking in a tunnel with a light at the end.

Long Description (up to 3 sentences)

In program synthesis, for top-down, I need to go down the tree until I find the correct program. The process is very long and arduous, but I will eventually find the right answer. I wanted to represent the process as a tunnel with an end in sight.

GetRusty commented 11 months ago

That's great!

KihongHeo commented 11 months ago

Good. Looks like a movie poster.