Unification Modulo Common List Functions.

Peter Hibbs Paliath Narendran Shweta Mehto

Published in: UNIF (2014)

Keyphrases

higher order
theorem proving
case study
neural network
real world
decision trees
high level
reinforcement learning
preprocessing
theorem prover