Statistical Proof Pattern Recognition: Automated or Interactive? | Publicación