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,
if Timeout then -10 else (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.
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.