Zulip Chat Archive

Stream: Lean for teaching

Topic: Automatic marking with moodle


Thorsten Altenkirch (Sep 20 2022 at 12:17):

I am teaching logic using lean to a fairly big class. Last year we have marked the submissions manually but now student numbers have increased. It seems several people here have been using auto grading with lean? What are the experiences / recommendations? Also I need to find a way to integrate this with moodle which is used for submissions and feedback.

Matthew Ballard (Sep 20 2022 at 13:58):

Am I correct in reading this as mainly a question about moodle integration? Because playing nice with your LMS strongly limits choices.

Thorsten Altenkirch (Sep 20 2022 at 14:38):

Actually it is a question where to start? What is an LMS?

Johan Commelin (Sep 20 2022 at 14:39):

Like CMS but for Learning, I think.

Matthew Ballard (Sep 20 2022 at 14:47):

Learning Management System: Moodle, Canvas, Blackboard,...

Matthew Ballard (Sep 20 2022 at 14:47):

Another question: is this Lean 3 or Lean 4?

Thorsten Altenkirch (Sep 20 2022 at 14:51):

Lean 3

Matthew Ballard (Sep 20 2022 at 14:56):

The two autograding systems I have seen people use here are: GitHub classroom and Gradescope.

Matthew Ballard (Sep 20 2022 at 14:56):

GitHub classroom is pretty bare bones. At best with Moodle, you can pull your course roster. But there is no functionality for passing scores back and forth.

Matthew Ballard (Sep 20 2022 at 14:57):

I use GitHub classroom currently because I have small class, it something I know, and most assignments have written components that need to be looked at anyway.

Students accept a GH classroom assignment by clicking on a link supplied by GH classroom and shared via the instructor. They then each get separate GH repos housing their work. Students submit by just updating the repository.

For automatic grading, you need to fill out an yaml file for building the underlying GH action and a autograding.json which specifies what commands to run, what outputs are expected, and how to score the results.

GH classroom has no built in functionality akin to a gradebook. I just end up looking at the outcome of the action and have that help guide me when I look at the actual file. Then I submit feedback and scores on Microsoft Teams where we have a team for the course.

Matthew Ballard (Sep 20 2022 at 14:59):

With moodle, it seems like gradescope has much better integration.

Matthew Ballard (Sep 20 2022 at 14:59):

But your institution needs a license.

Thorsten Altenkirch (Sep 20 2022 at 15:13):

Thank you that is very helpful.

Matthew Ballard (Sep 20 2022 at 15:13):

Glad to know.


Last updated: Dec 20 2023 at 11:08 UTC