Skip to content

This issue was moved to a discussion.

You can continue the conversation there. Go to discussion →

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.

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

[Art competition] Enumerative search #111

Closed
yeonhee-ryou opened this issue Nov 25, 2022 · 0 comments
Closed

[Art competition] Enumerative search #111

yeonhee-ryou opened this issue Nov 25, 2022 · 0 comments
Labels

Comments

@yeonhee-ryou
Copy link

콩나물

Short Description

For me, [Enumerative search] means [a painting of pouring a lot of water into a bean sprout pot]

Long Description (up to 3 sentences)

When you water bean sprouts(콩나물), most of them are not absorbed by bean sprouts and flow out of the pot. When a program synthesizer searching for answers, most of candidate programs are not the answers and the synthesizer should let them go. However, just like bean sprouts grow at proper temperature and illumination, the enumerative search-based synthesizer finds the correct answers with proper optimization.

@yeonhee-ryou yeonhee-ryou changed the title [Art competition] YOUR CONCEPT [Art competition] Enumerative search Nov 25, 2022
@KihongHeo KihongHeo reopened this May 30, 2024
@prosyslab-classroom prosyslab-classroom locked and limited conversation to collaborators May 30, 2024
@KihongHeo KihongHeo converted this issue into discussion #248 May 30, 2024

This issue was moved to a discussion.

You can continue the conversation there. Go to discussion →

Labels
Projects
None yet
Development

No branches or pull requests

2 participants