conftrace_

theory induction

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

symbolic grounding (1) logic 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