Login / Signup
Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor.
Josje Lodder
Bastiaan Heeren
Johan Jeuring
Wendy Neijenhuis
Published in:
Int. J. Artif. Intell. Educ. (2021)
Keyphrases
</>
human tutors
intelligent tutoring systems
learning gains
theorem prover
tutoring system
theorem proving
significantly higher
real time
neural network
mathematical proofs
multiresolution
collaborative learning
student model
clifford algebra