BookNotesSlidesP-sets Syllabusdraft · v0.2.49.1
◀▲⌂▶
💬Comments welcome. To leave a note, select any text and click the note / highlight button that pops up — or open the panel with the tab at the top-right (‹). Notes are visible only inside our private review group.

45.21 The semi-automatic grading system⧉

"I'm sorry, Dave. I'm afraid I can't do that."

HAL 9000, in 2001: A Space Odyssey (1968)

Video 45.21.1. youtube: HAL 9000 refuses Dave's request in 2001: A Space Odyssey. It is the cautionary backdrop for any autograder: an automated system deciding what it will and will not accept. The design goal here is the opposite of HAL, automation for the mechanical and repeatable checks with a human kept firmly in the loop for judgment, partial credit, and fairness.

⚠️ This appendix is a stub; details forthcoming. The course's problem sets are graded with a semi-automatic pipeline: an autograder does the mechanical, repeatable work, and a human handles judgment. The "semi" is the point: automation for scale and consistency, a person for fairness. The intended structure is sketched here and will be completed once the concrete pipeline is documented.

45.21.1 The shape (to be confirmed)⧉

Each problem set ships with a test harness and reference data. A submission is built and run against it; image and numeric outputs are compared to references within a tolerance; and a provisional score is produced for a human to review and adjust. The aim is that the repeatable checks is checked instantly and consistently, freeing a grader to spend their attention where judgment actually matters.

45.21.2 Automatic versus human (to be confirmed)⧉

45.21.3 To be filled in (from the instructor)⧉

The exact harness and languages (Python / C++); the per-pset reference outputs and tolerances; the rubric and point allocation; how grades and feedback are returned to students; the academic-integrity and permitted-AI-use policy, and how it interacts with Chapter 45.20, The course tutor: a local, book-grounded AI teaching assistant; and any plagiarism or similarity checking.