Published November 13, 2025
| Version v1.0
Dataset
Open
Formal Autograding in a Classroom (Extended Version Artifact)
Authors/Creators
-
1.
Ecole Polytechnique Fédérale de Lausanne
-
2.
École Polytechnique Fédérale de Lausanne
Files
submissions.zip
Files
(528.5 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:c899621258b7d8c5f58e4b4d994aff5b
|
528.5 kB | Preview Download |