Sign in
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