Modeling Beats and Downbeats with a Time-Frequency Transformer | IEEE Conference Publication | IEEE Xplore