CONF Gandarela_AAAI2025_2025/IDIAP Inductive Learning of Logical Theories with LLMs: A Complexity-graded Analysis Gandarela, João Carvalho, Danilo Freitas, Andre The 39th Annual AAAI Conference on Artificial Intelligence 2025