We fractionated mouse sperm proteomes using high-pH HPLC, followed by DDA-based spectral library generation. Quantitative DIA analysis was then applied to compare proteomic profiles between Armh2+/− and Armh2−/− mice, enabling deep and accurate protein quantification.