Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[Art competition] Top-Down Enumeration #181

Closed
08kmc09 opened this issue Nov 16, 2023 · 2 comments
Closed

[Art competition] Top-Down Enumeration #181

08kmc09 opened this issue Nov 16, 2023 · 2 comments

Comments

@08kmc09
Copy link
Contributor

08kmc09 commented Nov 16, 2023 •
edited
Loading

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
Copy link
Contributor

That's great!

@KihongHeo
Copy link
Contributor

Good. Looks like a movie poster.

@prosyslab-classroom prosyslab-classroom locked and limited conversation to collaborators May 30, 2024
@KihongHeo KihongHeo converted this issue into a discussion May 30, 2024
@KihongHeo KihongHeo reopened this May 30, 2024
@KihongHeo KihongHeo converted this issue into a discussion May 30, 2024
This issue was closed.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@KihongHeo @GetRusty @08kmc09