C Mendis, D Lahiru, N Pamudika… - 2017 Moratuwa …, 2017 - ieeexplore.ieee.org
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 …