Program Synthesis Using Inductive Logic Programming for the Abstraction and Reasoning Corpus. - Marinho Rocha, Filipe; Dutra, Inês; Santos Costa, Vítor; Paulo Reis, Luís (Intelligenza Artificiale, 2025)