Computer-Generated Chess Problem 03510

Now, this is a 'KQBNNP vs kqrrb' mate in 4 chess problem generated autonomously by Chesthetica using the fairly new computational creativity approach called the 'DSNS'. You can learn more about the DSNS here. Noteworthy here is that a chess position with over 7 pieces could not have been derived or taken from an endgame tablebase because 7 pieces is the present limit.

2K5/8/4Q2N/8/1NBb1k2/8/4q1P1/2r1r3 w - - 0 1
White to Play and Mate in 4
Chesthetica v12.43 (Selangor, Malaysia)
Generated on 6 Nov 2021 at 1:33:57 AMSolvability Estimate = Moderate
Humans have been composing original chess problems for over a thousand years. Now a computer can do it too. White has two knights and a pawn for Black's two rooks. Try to solve this puzzle. Do try some of the others in the series as well before you go. Collectively, these puzzles are intended to cater to players of all levels.
Solution