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