You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Homework 5 is a programming assignment requiring you to implement a program synthesizer for strings using the top-down propagation algorithm based on VSA.
You can submit your synthesizer as much as you want. Gradescope will evaluate your top-down propagation synthesizer with the 18 test cases (2 are in your repository, and others are hidden).
We will grade your score based on the leaderboard score on the due date.
For late submissions, your score will be degraded according to the late submission policy.
In detail, the score for each test case will be assigned as below,
ifTimeoutthen-10else (60-time) + (10-log_2(size))
time denotes the elapsed time (sec) for synthesis for each problem. We have set the timeout to one minute per problem. size indicates the number of terminals in your synthesized program. We will give a higher score to the smaller program.
The total score will be the sum of the scores of each test case.
Your raw score will be converted under the criteria below.
> 1200 -> 100
> 1000 -> 90
> 800 -> 80
> 600 -> 70
> 400 -> 60
> 200 -> 50
< 200 -> 0
Due is 11.20(Mon.) 23:59:59, and late submission is available until 11.22(Wed.) 23:59:59.
Good Luck!
P.S. As the LIA synthesizer, Orlando Bloom and Liv Tyler in the leaderboard are each the first and second-place winners from the previous semester and Eddie Redmayne is the professor.
This discussion was converted from issue #179 on May 30, 2024 23:54.
Heading
Bold
Italic
Quote
Code
Link
Numbered list
Unordered list
Task list
Attach files
Mention
Reference
Menu
reacted with thumbs up emoji reacted with thumbs down emoji reacted with laugh emoji reacted with hooray emoji reacted with confused emoji reacted with heart emoji reacted with rocket emoji reacted with eyes emoji
-
Hi all,
this is an announcement about homework 5.
Homework 5 is a programming assignment requiring you to implement a program synthesizer for strings using the top-down propagation algorithm based on VSA.
Here is the GitHub classroom link for this homework:
https://classroom.github.com/a/jUsUKpeC
Here are the detailed criteria for this homework:
In detail, the score for each test case will be assigned as below,
time
denotes the elapsed time (sec) for synthesis for each problem. We have set the timeout to one minute per problem.size
indicates the number of terminals in your synthesized program. We will give a higher score to the smaller program.The total score will be the sum of the scores of each test case.
Your raw score will be converted under the criteria below.
Due is 11.20(Mon.) 23:59:59, and late submission is available until 11.22(Wed.) 23:59:59.
Good Luck!
P.S. As the LIA synthesizer, Orlando Bloom and Liv Tyler in the leaderboard are each the first and second-place winners from the previous semester and Eddie Redmayne is the professor.
Beta Was this translation helpful? Give feedback.
All reactions