Abstract:
In this paper, we present a system to automatically assess multi-step answers for geometric theorem proving questions in high school Mathematics. The system is
capable of allocating partial marks for steps considering a marking rubric. Moreover, the system evaluates the natural language reasoning part in each step. Currently, 30 theorems related to straight lines have been implemented as inference rules. The system has been tested with 100 student answers for two geometric theorem proving questions.