Verification and reproducible curation of the BioModels repository. - Smith, Lucian P.; Malik-Sheriff, Rahuman S.; Nguyen, Tung V. N.; Hermjakob, Henning; Karr, Jonathan; Shaikh, Bilal; Drescher, Logan; Moraru, Ion I.; Schaff, James C.; Agmon, Eran; Patrie, Alexander A.; Blinov, Michael L.; et al. (PLoS Computational Biology, 2025)