NIL: Learning Nonlinear Interpolants.

Mingshuai Chen Jian Wang Jie An Bohua Zhan Deepak Kapur Naijun Zhan

Published in: CADE (2019)

Keyphrases

learning algorithm
learning process
learning systems
learning tasks
multi agent systems
learning scheme
prior knowledge
learning problems
supervised learning
computational geometry
computer programming
learning models
empirical studies
neural network
pairwise
reinforcement learning
genetic algorithm