Logical Induction.

Scott Garrabrant Tsvi Benson-Tilsen Andrew Critch Nate Soares Jessica Taylor

Published in: Electron. Colloquium Comput. Complex. (2016)

Keyphrases

inductive learning
machine learning
logical representation
concept learning
case study
program synthesis
neural network
genetic algorithm
learning algorithm
search algorithm
inductive logic programming
discovery process
version space
concept formation
logical properties
logical reasoning