Efficiency of Learning from Proof Blocks Versus Writing Proofs.

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

Published in: CoRR (2022)

Keyphrases

learning algorithm
learning process
data sets
learning systems
supervised learning
online learning
theorem prover
theorem proving
machine learning
mobile learning
first order logic
learning tasks