Real-time error correction and performance aid for MIDI instruments. - Georgi Marinov (CoRR, 2020)