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] Program synthesis by representation-based search #199

Closed
spearo2 opened this issue Nov 29, 2023 · 0 comments
Closed

[Art competition] Program synthesis by representation-based search #199

spearo2 opened this issue Nov 29, 2023 · 0 comments

Comments

@spearo2
Copy link
Contributor

spearo2 commented Nov 29, 2023

reasoning

Name

Changgong Lee

Tool You Used

Bing Image Creator

Short Description

For me, program synthesis by representation-based search means a cook learning how to cook from multiple same type of different dishes with lists of ingredients in a room filled with binary digits.

Long Description (up to 3 sentences)

The representation-based search is one of the strategies used in program synthesis where it derives the set of desired programs from the given representations of the program. If the syntax is the cooking, the cook in the photo represents the program synthesis itself. When representations are given as inputs(list of ingredients) and outputs(dishes), the cook will learn, intersect, and cook the desired program.

@prosyslab-classroom prosyslab-classroom locked and limited conversation to collaborators May 30, 2024
@KihongHeo KihongHeo converted this issue into discussion #230 May 30, 2024
@KihongHeo KihongHeo reopened this May 30, 2024
@KihongHeo KihongHeo converted this issue into discussion #230 May 30, 2024

This issue was moved to a discussion.

You can continue the conversation there. Go to discussion →

Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants