activity
20132026
most citedRobust improper maximum likelihood: tuning, computation, and a comparison with other methods for robust Gaussian clustering

76 citations · 100 across the 8 of their papers we have counts for

collaborators
Showing stat.OTShow all

1 paper · 1 filter

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…