conftrace_

logic theory induction

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

symbolic grounding (1) theory induction (1) predicate logic (1) large language model (1) inductive logic programming (1) logical reasoning (1) symbolic reasoning (1)

Papers

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