Login / Signup
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