Login / Signup
Proof Blocks: Autogradable Scaffolding Activities for Learning to Write Proofs.
Seth Poulsen
Mahesh Viswanathan
Geoffrey L. Herman
Matthew West
Published in:
ITiCSE (1) (2022)
Keyphrases
</>
learning algorithm
learning process
active learning
online learning
prior knowledge
learning scenarios
machine learning
reinforcement learning
knowledge acquisition
learning systems
activity recognition
meta cognitive
learning analytics
theorem prover
active participation