João Pedro Gandarela de Souza

Inductive Learning of Logical Theories with LLMs: A Expressivity-graded Analysis

This work presents a novel systematic methodology to analyse the capabilities and limitations of Large Language Models (LLMs) with feedback from a formal inference engine, on logic theory induction. The analysis is complexity-graded w.r.t. rule dependency structure, allowing quantification of specif…