Pietro Coretto

Statistical Theory in the Age of Machine-Assisted Mathematics: Rethinking How Theory Is Made and Taught

This paper discusses five case studies involving classical problems in statistics and describes how they can be analyzed using a machine proof-checking, and argues that the statistical community could benefit from a collaborative effort to build repositories of formalized axioms, definitions, and theorems, supporting m...