Inductive Learning of Logical Theories with LLMs: An Expressivity-Graded Analysis

Re-assign community