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
You can submit your synthesizer as much as you want. Gradescope will evaluate your synthesizer with the 15 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.
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 (TimeoutorCrash) then0else1
The timeout for this homework will be two minutes per problem.
Your raw score will be converted as the following.
grade = score / 15 * 100
Due is 12.04(Mon.) 23:59:59, and late submission is available until 12.06(Wed.) 23:59:59.
Have fun.
P.S. FYI, Timothée Chalamet is the last year's student submission.
This discussion was converted from issue #190 on May 30, 2024 23:56.
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 everyone,
First of all, congratulations, you have made it to the last homework.
This is an announcement about homework 6.
Homework 6 is a programming assignment requiring you to implement a counter-example guided inductive synthesizer (CEGIS).
Here is the GitHub classroom link for this homework:
Here are the detailed criteria for this homework:
In detail, the score for each test case will be assigned as below,
The timeout for this homework will be two minutes per problem.
Your raw score will be converted as the following.
Due is 12.04(Mon.) 23:59:59, and late submission is available until 12.06(Wed.) 23:59:59.
Have fun.
P.S. FYI, Timothée Chalamet is the last year's student submission.
Beta Was this translation helpful? Give feedback.
All reactions