Generating Mutually Inductive Theorems from Concise Descriptions.

Published in: ACL2 (2020)

Keyphrases

inductive learning
data sets
concept learning
inductive inference
real time
real world
machine learning
information retrieval
image processing
database systems
expert systems
multiresolution
automatically generating