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