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
8 results for Achille Fokoue
Weighted Clock Logic Point Process
- Ruixuan Yan
- Yunshi Wen
- et al.
- 2023
- ICLR 2023
Leveraging Abstract Meaning Representation for Knowledge Base Question Answering
- Pavan Kapanipathi
- Ibrahim Abdelaziz
- et al.
- 2021
- ACL-IJCNLP 2021
MISMATCH: Fine-grained Evaluation of Machine-generated Text with Mismatch Error Types
- Keerthiram Murugesan
- Sarathkrishna Swaminathan
- et al.
- 2023
- ACL 2023
Predicting Drug-Drug Interactions Through Similarity-Based Link Prediction Over Web Data
- Achille Fokoue
- Oktie Hassanzadeh
- et al.
- 2016
- WWW 2016
STONE: Signal Temporal Logic Neural Network for Time Series Classification
- Ruixuan Yan
- Agung Julius
- et al.
- 2021
- ICDM 2021
A Two-Stage Approach towards Generalization in Knowledge Base Question Answering
- Srinivas Ravishankar
- June Thai
- et al.
- 2022
- EMNLP 2022
Sygma: System for generalizable modular question answering over knowledge bases
- Sumit Neelam
- Udit Sharma
- et al.
- 2022
- EMNLP 2022