Measuring Systematic Generalization in Neural Proof Generation with Transformers.

Nicolas Gontier Koustuv Sinha Siva Reddy Christopher Pal

Published in: NeurIPS (2020)

Keyphrases

network architecture
neural network
databases
real world
information systems
theorem proving
nonlinear predictive control
database
neural computation
neural fuzzy
artificial neural
hebbian learning
neural architecture
theorem prover
case study
computer vision
information retrieval