Sequence to Logic with Copy and Cache.

Javid Dadashkarimi Sekhar Tatikonda

Published in: CoRR (2018)

Keyphrases

modal logic
automated reasoning
neural network
query processing
prefetching
logic programming
back end
set theory
proof theory