Proof Blocks: Autogradeable Scaffolding Activities for Learning to Write Proofs.

Seth Poulsen Mahesh Viswanathan Geoffrey L. Herman Matthew West

Published in: CoRR (2021)

Keyphrases

learning algorithm
learning process
prior knowledge
learning systems
learning scenarios
meta cognitive
collaborative learning
theorem proving
learning environment
supervised learning
learning tasks
semi supervised
online learning
unsupervised learning
interactive learning environments