A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving
- Maxwell Crouse
- Ibrahim Abdelaziz
- et al.
- 2021
- AAAI 2021
Publications
Date
Featured collections
Popular topics
2 results for Cristina Cornelio
Leveraging Abstract Meaning Representation for Knowledge Base Question Answering
- Pavan Kapanipathi
- Ibrahim Abdelaziz
- et al.
- 2021
- ACL-IJCNLP 2021