3 papers
stat.OT2026
Statistical Theory in the Age of Machine-Assisted Mathematics: Rethinking How Theory Is Made and Taught
Pietro Coretto
The computational revolution is advancing at an unprecedented pace. The combination of proof-assistant technologies and generative AI tools has recently enabled the solution of com…
math.ST2023
Consistency for constrained maximum likelihood estimation and clustering based on mixtures of elliptically-symmetric distributions under general data generating processes
Pietro Coretto, Christian Hennig
The consistency of the maximum likelihood estimator for mixtures of elliptically-symmetric distributions for estimating its population version is shown, where the underlying distri…
stat.ME2020
An adequacy approach for deciding the number of clusters for OTRIMLE robust Gaussian mixture based clustering
Christian Hennig, Pietro Coretto
We introduce a new approach to deciding the number of clusters. The approach is applied to Optimally Tuned Robust Improper Maximum Likelihood Estimation (OTRIMLE; Coretto and Henni…