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
Here is the detailed grading criteria for this homework:
You can submit your synthesizer as much as you want. Gradescope will evaluate your top-down and bottom-up synthesizer with the 20 test cases (5 are in your repository, and others are hidden).
We will grade your score based on the leaderboard score on the due date.
If you submit late, 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 which may range from 0 to 2800 will be converted under the criteria below.
> 2400 -> 100
> 2000 -> 90
> 1600 -> 80
> 1200 -> 70
> 800 -> 60
> 400 -> 50
< 400 -> 0
Due is 11.11(Sat.) 23:59:59, and late submission is available until 11.13(Mon.) 23:59:59.
As you can find in the criteria, this homework not only checks for the correctness but also the efficiency of your implementations. Thus, more room for competition in the Gradescope leaderboard is available.
We hope you have fun in the pursuit of implementing the best synthesizer.
Good Luck!
P.S. FYI, Orlando Bloom and Liv Tyler in the leaderboard are the first and the second-place winner from the previous semester. Leonardo DiCaprio is implemented by the professor.
This discussion was converted from issue #172 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 4.
Homework 4 is a programming assignment requiring you to implement a program synthesizer for linear integer arithmetic (LIA) using enumerative search.
Here is the GitHub classroom link for this homework:
https://classroom.github.com/a/FahBTir5
Here is the detailed grading 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 which may range from 0 to 2800 will be converted under the criteria below.
Due is 11.11(Sat.) 23:59:59, and late submission is available until 11.13(Mon.) 23:59:59.
As you can find in the criteria, this homework not only checks for the correctness but also the efficiency of your implementations. Thus, more room for competition in the Gradescope leaderboard is available.
We hope you have fun in the pursuit of implementing the best synthesizer.
Good Luck!
P.S. FYI, Orlando Bloom and Liv Tyler in the leaderboard are the first and the second-place winner from the previous semester. Leonardo DiCaprio is implemented by the professor.
Beta Was this translation helpful? Give feedback.
All reactions