Measuring Systematic Generalization in Neural Proof Generation with Transformers.

Nicolas Gontier Koustuv Sinha Siva Reddy Christopher Pal

Published in: CoRR (2020)

Keyphrases

neural network
network architecture
information retrieval
data structure
bio inspired
machine learning
computer vision
search algorithm
natural language
qualitative and quantitative
learning machines
neural model
automated theorem proving
neural fuzzy
mathematical proofs