Along with some other commenters are naming, I’ve been digging into Polyphia recently. Don’t expect funky time signatures or even vocals, but the technique and timing is very math/prog.