PROSPECT: Labeled Tandem Mass Spectrometry Dataset for Machine Learning in Proteomics