Analysis of the Hamiltonian Monte Carlo genotyping algorithm on PROVEDIt mixtures including a novel precision benchmark. Forensic Science International: Genetics, (64):102840, 2023. [PUMA: topic_lifescience DNA HMC Probabilistic Validation, genotyping, mixtures,] URL