In proteomics applications of tandem mass spectrometry (MS/MS), one of the core analysis challenges is the de novo sequencing problem: given an observed fragmentation spectrum, can we infer the amino ...