C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Stratified Certification for k-Induction.
Emily Yu
Nils Froleyks
Armin Biere
Keijo Heljanko
Published in:
FMCAD (2022)
Keyphrases
</>
inductive learning
third party
program synthesis
concept formation
genetic algorithm
database systems
learning environment
inductive logic programming
inductive inference
inductive reasoning
database
machine learning
explanation based learning
subgroup discovery
discovery process
sequence prediction