Efficiency of Learning from Proof Blocks Versus Writing Proofs.

Seth Poulsen Yael Gertner Benjamin Cosman Matthew West Geoffrey L. Herman

Published in: SIGCSE (1) (2023)

Keyphrases

learning process
learning algorithm
online learning
learning systems
learning problems
supervised learning
word processing
computational complexity
unsupervised learning
theorem proving