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.

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] Program Synthesis #117

Closed
p-has-done opened this issue Nov 29, 2022 · 1 comment
Closed

[Art competition] Program Synthesis #117

p-has-done opened this issue Nov 29, 2022 · 1 comment

Comments

@p-has-done
Copy link
Contributor

p-has-done commented Nov 29, 2022 •
edited
Loading

image

Short Description

For me, [program synthesis] means [picking flowers on the cliff].

Long Description (up to 3 sentences)

It is not easy to synthesize the desired program from a large search space, like picking flowers on the cliff. They both impress my heart when I finally achieve the goal.
@KihongHeo
Copy link
Contributor

Good. Nice try.

Can we have a more closely related analogy? Any non-trivial challenge can be described like this. What would be a unique point of program synthesis?

@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 #251 May 30, 2024

This issue was moved to a discussion.

You can continue the conversation there. Go to discussion →

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@KihongHeo @p-has-done