Abductive Symbolic Solver on Abstraction and Reasoning Corpus. - Mintaek Lim; Seokki Lee; Liyew Woletemaryam Abitew; Sundong Kim (LNSAI@IJCAI, 2024)