Effect of formal methods on statistical education

Determine, via empirical investigation, whether incorporating formal methods—such as dependently typed proofs and machine-checked executable mathematics—improves statistical education outcomes.

Background

The paper argues that formal methods make assumptions explicit and enable executable proofs, potentially benefiting teaching by clarifying concepts and enabling experimentation. However, the authors acknowledge the substantial learning curve and explicitly state that the pedagogical impact is not established.

The open question concerns whether the adoption of formal methods actually improves statistical education, which the authors note requires empirical study to resolve.