Formula-Supervised Sound Event Detection: Pre-Training Without Real Data | IEEE Conference Publication | IEEE Xplore