This paper introduces DeduceIt, a system for creating and grading derivation assignments across arbitrary formal domains. DeduceIt provides students personalized feedback and aggregates student paths through each proof. Instructors can also have detailed analytics from the data of DeduceIt. DeduceIt was tested with 990 students in an online compiler course and students found it beneficial.
There have been studies on how to stop students from gaming the system when using intelligent tutoring system. This paper introduces a system to get students to engage in less gaming and have better learning. The system contains supplementary exercises focused on exactly the material the student bypassed by gaming. The system also expresses negative emotion to gaming students through an animated agent.