FIELD NOTES TOPIC
inductive reasoning
2 notes, newest first.
Hypothesis Frontier: Verifier Guided LLM and Symbolic Search for First-Order Induction
The paper introduces Hypothesis Frontier, a framework that uses a combination of language models (LLMs) and symbolic processing to solve first-order concept synthesis problems. The system iteratively generates and…
Invariant Learning Dynamics of Transformers in Inductive Reasoning Tasks
The authors present a theoretical framework explaining the development of inductive reasoning abilities in Transformer language models. This framework applies to a wide range of inductive tasks and provides insights…
