Revisiting DRUP-Based Interpolants with CaDiCaL 2.0. - Basel Khouri; Yakir Vizel (TACAS (2), 2025)